Effect of the choice of connectives on the relation between classical logic and intuitionistic logic

DOI10.1215/00294527-2022-0016OpenAlexW4293245701MaRDI QIDQ2153833

Kento Takagi, Naosuke Matsuda, Tomoaki Kawano

Publication date: 13 July 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2022-0016

zbMATH Keywords

Kripke semanticsintuitionistic logicclassical logicpropositional connective

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? ⋮ Definability of Boolean functions in Kripke semantics

Cites Work

• Unnamed Item
• Strong Normalization for Truth Table Natural Deduction
• Deriving Natural Deduction Rules from Truth Tables
• Sequents in many valued logic II

This page was built for publication: Effect of the choice of connectives on the relation between classical logic and intuitionistic logic