A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314)
From MaRDI portal
scientific article; zbMATH DE number 7632520
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras |
scientific article; zbMATH DE number 7632520 |
Statements
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (English)
0 references
13 December 2022
0 references
intermediate logic
0 references
HB-logic
0 references
Heyting algebra
0 references
bi-Heyting algebra
0 references
Esakia duality
0 references
fine frame
0 references
Kripke incompleteness
0 references
topological incompleteness
0 references
0 references
0 references
0 references
