The Gödel-Tarski translations of intuitionistic propositional formulas
From MaRDI portal
Publication:2900543
Recommendations
Cites work
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)