Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2036348018 / rank | |||
Normal rank |
Latest revision as of 11:21, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hereditarily finitely axiomatizable extensions of logic S4 |
scientific article |
Statements
Hereditarily finitely axiomatizable extensions of logic S4 (English)
0 references
1977
0 references
Es wird gezeigt: Die Tarski-Übersetzungen der tabularen und prätabularen superintuitionistischen Logiken sind erblich endlich axiomatisierbar und daher erblich entscheidbar. Die ersten beiden Schichten des Verbandes der modalen Logiken, deren intuitionistisches Fragment im Sinne der Tarski-Übersetzung tabular oder prätabular ist, sind damit abzählbar. Die übrigen Schichten haben jedoch die Mächtigkeit des Kontinuums. Die tabularen Logiken haben im Verband nur endlich viele unmittelbare Vorgänger.
0 references
modal logic S4
0 references
lattice of modal logics
0 references
hereditarily finitely axiomatizable
0 references
superintuitionistic logics
0 references
Tarski translation
0 references
tabular logic
0 references
pre-tabular logic
0 references