Continuality of the family of complete Novikov logics with new monadic connective (Q1280369)
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: Continuality of the family of complete Novikov logics with new monadic connective |
scientific article; zbMATH DE number 1261652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuality of the family of complete Novikov logics with new monadic connective |
scientific article; zbMATH DE number 1261652 |
Statements
Continuality of the family of complete Novikov logics with new monadic connective (English)
0 references
15 March 1999
0 references
The author investigates general problems of intuitionistic propositional logic. It is proved that the family of \(L_1\)-logics which are complete in the sense of Novikov and each of which determines a new monadic connective, has the cardinality of the continuum.
0 references
intuitionistic logic
0 references
Novikov complete
0 references
additional monadic connective
0 references
