Author:
Idziak Katarzyna,Idziak Pawel M.
Abstract
AbstractThe 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.
Publisher
Cambridge University Press (CUP)
Reference17 articles.
1. Undecidability of Brouwerian semilattices
2. On Intermediate Propositional Logics
3. Decidable Theories
4. Decidability of second order theories and automata on infinite trees;Rabin;Transactions of the American Mathematical Society,1969
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献