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

Journal of Mathematical Logic 22 (3) (2022)
  Copy   BIBTEX


Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. In this paper, we show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting–Brouwer logic [math] that are topologically incomplete. This result provides further insight into the long-standing open problem of Kuznetsov by yielding a negative solution of the reformulation of the problem from extensions of [math] to extensions of [math].



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.


Added to PP

17 (#811,313)

6 months
7 (#328,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.

Add more citations