2016 Logic Colloquium in Leeds

The European Meeting of the ASL will be held in Leeds this year, July 31 to August 6.  The deadline to submit a contributed talk is tomorrow! For details, see the conference website!

Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)

Richard Zach, "Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)," Journal of Philosophical Logic 45(2) (2016), pp. 183–197. Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke (NAND) … Continue reading Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)