The Gödel-Tarski translations of intuitionistic propositional formulas

DOI10.1007/978-3-642-30743-0_33MaRDI QIDQ2900543zbMATH OpenOpenAlexFDO

Authors G. E. 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

intuitionistic logicmodal logicGödel-Tarski translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Modal translations in substructural logics
• A polynomial translation of S4 into intuitionistic logic
• A correct polynomial translation of S4 into intuitionistic logic
• Publication:4204133
• scientific article; zbMATH DE number 1431908

Cites work

• scientific article; zbMATH DE number 1489626 (Why is no real title available?)
• A short introduction to intuitionistic logic
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(13)

• Constructive embedding from extensions of logics of strict implication into modal logics
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• A correct polynomial translation of S4 into intuitionistic logic
• A polynomial translation of S4 into intuitionistic logic
• scientific article; zbMATH DE number 6139995 (Why is no real title available?)
• scientific article; zbMATH DE number 60832 (Why is no real title available?)
• A modal view of linear logic
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• scientific article; zbMATH DE number 4123703 (Why is no real title available?)
• Modal translation of substructural logics
• Conservative translations revisited
• scientific article; zbMATH DE number 5081354 (Why is no real title available?)

This page was built for publication: The Gödel-Tarski translations of intuitionistic propositional formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900543)