The embedding theorem: its further developments and consequences. I (Q2372685): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q793005 |
||
Property / author | |||
Property / author: A. Yu. Muravitskij / rank | |||
Revision as of 02:53, 21 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The embedding theorem: its further developments and consequences. I |
scientific article |
Statements
The embedding theorem: its further developments and consequences. I (English)
0 references
1 August 2007
0 references
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.
0 references
modal logic
0 references
intermediate logic
0 references
McKinsey-Tarski translation
0 references
distributive lattice
0 references