A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras

DOI10.1142/S0219061322500131MaRDI QIDQ5055314

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

Publication date: 13 December 2022

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.05961

zbMATH Keywords

Heyting algebraintermediate logicEsakia dualityKripke incompletenessbi-Heyting algebrafine frameHB-logictopological incompleteness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Intermediate logics (03B55) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items (1)

B-frame duality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Profinite Heyting algebras
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• On logics with coimplication
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• On closed elements in closure algebras
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• The inadequacy of the neighbourhood semantics for modal logic
• An incomplete logic containing S4
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

This page was built for publication: A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras