Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism

DOI10.1093/ANALYS/ANZ023MaRDI QIDQ5883495zbMATH OpenOpenAlexFDO

Authors Bogdan Dicher

Publication date 21 March 2023

Published in Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/analys/anz023

zbMATH Keywords

Blok-Jónsson consequencecut

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Some comments on Ian Rumfitt's bilateralism
• Bilateralist detours: from intuitionist to classical logic and back
• scientific article; zbMATH DE number 7599931
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Pragmatic and dialogic interpretations of bi-intuitionism. I

Cited in

(5)

• Some comments on Ian Rumfitt's bilateralism
• Bilateralism, trilateralism, multilateralism and poly-sequents
• Bilateralist detours: from intuitionist to classical logic and back
• Bilateralism based on corrective denial
• Indicative conditionals and intuitionistic

This page was built for publication: Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism

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