The embedding theorem: its further developments and consequences. I (Q2372685): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: A. Yu. Muravitskij / rank | |||
Property / author | |||
Property / author: A. Yu. Muravitskij / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1168352665 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2058516382 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:35, 19 March 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