Decidability problem for finite Heyting algebras
Journal of Symbolic Logic 53 (3):729-735 (1988)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
Valeria Castaño & Marcela Muñoz Santis (2011). Subalgebras of Heyting and De Morgan Heyting Algebras. Studia Logica 98 (1-2):123-139.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Guram Bezhanishvili (2000). Varieties of Monadic Heyting Algebras. Part III. Studia Logica 64 (2):215-256.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
