Decidability problem for finite Heyting algebras

&
Journal of Symbolic Logic 53 (3):729-735 (1988)
  Copy   BIBTEX

Abstract

The aim of this paper is to characterize varieties of Heyting algebras with decidable theory of their finite members. Actually we prove that such varieties are exactly the varieties generated by linearly ordered algebras. It contrasts to the result of Burris [2] saying that in the case of whole varieties, only trivial variety and the variety of Boolean algebras have decidable first order theories

Categories

Keywords

Reprint years

DOI

10.2307/2274568

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Decidable quasivarieties of p‐algebras.Tomasz Kowalski & Katarzyna Słomczyńska - 2025 - Mathematical Logic Quarterly 71 (1):2300064.
Decidability and Boolean Representations.Stanley Burris & Ralph McKenzie - 1981 - American Mathematical Soc..
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.
Decidability of Cancellative Extension of Monoidal T-norm Based Logic.Rostislav Horcik - 2006 - Logic Journal of the IGPL 14 (6):827-843.
Decidable discriminator varieties from unary varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (4):1355-1368.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.
Varieties of commutative BCK-algebras not generated by their finite members.Marek Palasinski - 1983 - Bulletin of the Section of Logic 12 (3):134-135.
On decidable varieties of Heyting algebras.Devdatt P. Dubhashi - 1992 - Journal of Symbolic Logic 57 (3):988-991.

Analytics

Added to PP
2009-01-28

Downloads
210 (#192,388)

6 months
26 (#366,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decidable quasivarieties of p‐algebras.Tomasz Kowalski & Katarzyna Słomczyńska - 2025 - Mathematical Logic Quarterly 71 (1):2300064.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.

Add more citations

References found in this work

Equational classes of relative Stone algebras.T. Hecht & Tibor Katriňák - 1972 - Notre Dame Journal of Formal Logic 13 (2):248-254.

Add more references