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

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