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

The Logic and Metaphysics Workshop will meet on March 19th from 4:15-6:15 in room 3309 of the CUNY Graduate Center for a talk by Alex Citkin (Private Researcher).

Title: The Admissibility of Multiple-Conclusion Rules of Logics with the Disjunction Property

Abstract: 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.

Leave a Reply

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