The embedding theorem: its further developments and consequences. I

DOI10.1305/NDJFL/1168352665MaRDI QIDQ2372685zbMATH OpenOpenAlexFDO

Authors Alexei Y. Muravitsky

Publication date 1 August 2007

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1168352665

zbMATH Keywords

distributive latticeintermediate logicMcKinsey-Tarski translationmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10)

Review text

The embedding of intuitionistic logic into the modal logic S4 by the so-called Gödel-McKinsey-Tarski translation and its generalizations by Grzegorczyk, Maksimova, et al. provide useful means for a comparative study between lattices of intermediate logics (ExtInt) and of normal modal extensions of S4 (ExtS4). After surveying the development of the study, the author shows in this paper several results on structural aspects of these lattices. In particular, it is pointed out that ExtInt is likely to be the only constructing block with which ExtS4 can be formed. The paper includes many interesting problems and conjectures to suggest further developments of the study in this direction, and will be continued in Part II where the embedding theorem is analyzed algebraically.

Recommendations

• scientific article; zbMATH DE number 1431908
• The greatest extension of S4 into which intuitionistic logic is embeddable
• Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions
• A modal logic amalgam of classical and intuitionistic propositional logic
• Lattice NExtS4 from the embedding theorem viewpoint

Cited in

(22)

• The greatest extension of S4 into which intuitionistic logic is embeddable
• The intensional side of algebraic-topological representation theorems
• scientific article; zbMATH DE number 1612552 (Why is no real title available?)
• Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions
• Generalized ordinal sums and translations
• scientific article; zbMATH DE number 6683018 (Why is no real title available?)
• A modal logic amalgam of classical and intuitionistic propositional logic
• Applicability of Motohashi's method to modal logics
• scientific article; zbMATH DE number 4059361 (Why is no real title available?)
• scientific article; zbMATH DE number 166118 (Why is no real title available?)
• Three ultrafilters in a modular logic
• Grzegorczyk algebras revisited
• Sahlqvist via translation
• scientific article; zbMATH DE number 218532 (Why is no real title available?)
• scientific article; zbMATH DE number 3993544 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• The Disc Embedding Theorem
• Constructive embedding from extensions of logics of strict implication into modal logics
• Lattice NExtS4 from the embedding theorem viewpoint
• On the Blok-Esakia theorem
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond

This page was built for publication: The embedding theorem: its further developments and consequences. I

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