Embedding classical in minimal implicational logic

DOI10.1002/malq.201400099zbMath1367.03020OpenAlexW2472748050MaRDI QIDQ2793912

Helmut Schwichtenberg, Hajime Ishihara

Publication date: 17 March 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201400099

zbMATH Keywords

Glivenko theoremminimal logicintuitionistic implicational logicPearce formula

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Classifying material implications over minimal logic ⋮ Proof Compression and NP Versus PSPACE II

Cites Work

• Classical propositional logic and decidability of variables in intuitionistic propositional logic

This page was built for publication: Embedding classical in minimal implicational logic