A non-finitely based quasi-variety of de Morgan algebras
Studia Logica 78 (1-2):237 - 248 (2004)
| Abstract | In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
|
| Through your library | Configure |
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3).
Silvio Ghilardi (1999). Unification in Intuitionistic Logic. Journal of Symbolic Logic 64 (2):859-880.
H. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
Sergio A. Celani (2011). Classical Modal De Morgan Algebras. Studia Logica 98 (1-2):251-266.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65 - 78.
Brian A. Davey & Miroslav Haviar (2004). Applications of Priestley Duality in Transferring Optimal Dualities. Studia Logica 78 (1-2):213 - 236.
Roberto Giuntini, Antonio Ledda & Francesco Paoli (2007). Expanding Quasi-MV Algebras by a Quantum Operator. Studia Logica 87 (1):99 - 128.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65-78.
Gábor Sági (2002). A Note on Algebras of Substitutions. Studia Logica 72 (2):265-284.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |

