New solutions to Novikov's problem for intuitionistic connectives (Q4221296)
From MaRDI portal
scientific article; zbMATH DE number 1234514
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New solutions to Novikov's problem for intuitionistic connectives |
scientific article; zbMATH DE number 1234514 |
Statements
New solutions to Novikov's problem for intuitionistic connectives (English)
0 references
21 June 1999
0 references
Novikov completeness
0 references
irreflexive modality
0 references
new intuitionistic connective
0 references
