The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
From MaRDI portal
Publication:2900543
DOI10.1007/978-3-642-30743-0_33zbMath1357.03055OpenAlexW1824917990MaRDI QIDQ2900543
Publication date: 23 July 2012
Published in: Correct Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_33
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Conservative translations revisited ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Modal translation of substructural logics
Cites Work
This page was built for publication: The Gödel-Tarski Translations of Intuitionistic Propositional Formulas