Bilateralist detours: from intuitionist to classical logic and back

DOI10.2143/LEA.239.0.3237156MaRDI QIDQ4608340zbMATH OpenFDO

Authors Nils Kürbis

Publication date 16 March 2018

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Some comments on Ian Rumfitt's bilateralism
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
• scientific article; zbMATH DE number 7599931
• Classical logic without bivalence

Cited in

(6)

• scientific article; zbMATH DE number 6607423 (Why is no real title available?)
• Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
• Bilateral inversion principles
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• Some comments on Ian Rumfitt's bilateralism
• Fractional-Valued Modal Logic and Soft Bilateralism

This page was built for publication: Bilateralist detours: from intuitionist to classical logic and back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608340)