The Gödel-Tarski Translations of Intuitionistic Propositional Formulas

DOI10.1007/978-3-642-30743-0_33zbMath1357.03055OpenAlexW1824917990MaRDI QIDQ2900543

Grigori Mints

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

zbMATH Keywords

modal logicintuitionistic logicGödel-Tarski translation

Mathematics Subject Classification ID

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

• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item

This page was built for publication: The Gödel-Tarski Translations of Intuitionistic Propositional Formulas