On the number of new logical constants in intuitionistic propositional calculus (Q1280312)
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: On the number of new logical constants in intuitionistic propositional calculus |
scientific article; zbMATH DE number 1261612
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the number of new logical constants in intuitionistic propositional calculus |
scientific article; zbMATH DE number 1261612 |
Statements
On the number of new logical constants in intuitionistic propositional calculus (English)
0 references
15 March 1999
0 references
According to P. S. Novikov, a \(\varphi\)-logic \(L_\varphi\) is called complete if it is conservative over \(H\) (the intuitionistic propositional logic) and for any formula \(A\notin L_\varphi\) the \(\varphi\)-logic \(L_\varphi+\{A\}\) is not conservative over \(H\). In the paper the following result is obtained. There exists at least a countable number of \(\varphi\)-logics that are complete and each of the \(\varphi\)-logics determines a new intuitionistic logical constant.
0 references
complete \(\varphi\)-logic
0 references
logical constant
0 references
intuitionistic logic
0 references
Novikov complete
0 references
0.9352757
0 references
0.9253186
0 references
0.89835835
0 references
0.88783264
0 references
0.8877206
0 references
0.8860109
0 references
