The Gödel-Tarski translations of intuitionistic propositional formulas

DOI10.1007/978-3-642-30743-0_33zbMATH Open1357.03055OpenAlexW1824917990MaRDI QIDQ2900543FDOQ2900543

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

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

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)

Cites Work

• Some theorems about the sentential calculi of Lewis and Heyting
• A short introduction to intuitionistic logic
• Title not available (Why is that?)

Cited In (13)

• A correct polynomial translation of S4 into intuitionistic logic
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• A polynomial translation of S4 into intuitionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A modal view of linear logic
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Title not available (Why is that?)
• Modal translation of substructural logics
• Conservative translations revisited
• Title not available (Why is that?)
• Constructive embedding from extensions of logics of strict implication into modal logics

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)