Admissibility of Multiple-Conclusion Rules of Logics with the Disjunction Property (Alex Citkin)

When:
March 19, 2018 @ 4:15 pm – 6:15 pm
2018-03-19T16:15:00-04:00
2018-03-19T18:15:00-04:00
Where:
CUNY Grad Center, rm 3309
365 5th Ave
New York, NY 10016
USA
Cost:
Free

I study admissible multiple-conclusion rules of logics having the meta-disjunction expressible by a finite set of formulas. I show that in such logics the bases of admissible single- and multiple-conclusion rules can be converted into each other. Since these conversions are constructive and preserve cardinality, it is possible to obtain a simple way of constructing a base of admissible single-conclusion rules, by a given base of admissible multiple-conclusion rules and vice versa. Because the proofs are purely syntactical, these results can be applied to a broad class of logics.

Logic & Metaphysics Workshop

Feb 26 Martin Pleitz, Muenster
Mar 5 Vera Flocke, NYU
Mar 12 Roy Sorensen, WUSTL
Mar 19 Alex Citkin, Private Researcher
Mar 26 Chris Scambler, NYU
Apr 2 SPRING RECESS. NO MEETING
Apr 9 Greg Restall, Melbourne
Apr 16 Daniel Nolan, Notre Dame
Apr 23 Mel Fitting, CUNY
Apr 30 Sungil Han, Seoul National
May 7 Andreas Ditter, NYU
May14 Rohit Parikh

Leave a Reply

Your email address will not be published. Required fields are marked *