A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' (Q1097869)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical |
scientific article; zbMATH DE number 4035778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' |
scientific article; zbMATH DE number 4035778 |
Statements
A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' (English)
0 references
1986
0 references
The paper contains a result announced earlier [Bull. Sect. Logic, Pol. Acad. Sci. 14, 8-14 (1985; Zbl 0592.03003)] and corrections to the author's article mentioned in the title [Notre Dame J. Formal Logic 24, 410-414 (1983; Zbl 0561.03008)].
0 references
completeness theorem
0 references
propositional model logic S5
0 references
infinitary S5
0 references
0.794501781463623
0 references
0.7298463582992554
0 references
