Embedding classical in minimal implicational logic
From MaRDI portal
Publication:2793912
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
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
This page was built for publication: Embedding classical in minimal implicational logic