Graduate studies at Western
Studia Logica 76 (2):227 - 240 (2004)
|Abstract||Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is also finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
Sándor Jenei & Franco Montagna (2002). A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70 (2):183-192.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
Jeffrey S. Olson (2006). Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes. Studia Logica 83 (1-3):393 - 406.
Bjarni Jónsson & Constantine Tsinakis (2004). Products of Classes of Residuated Structures. Studia Logica 77 (2):267 - 292.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3):425-445.
J. L. Castiglioni & H. J. San Martín (2011). Compatible Operations on Residuated Lattices. Studia Logica 98 (1-2):203-222.
Constantine Tsinakis & Annika M. Wille (2006). Minimal Varieties of Involutive Residuated Lattices. Studia Logica 83 (1-3):407 - 423.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,081 of 739,324 )
Recent downloads (6 months)0
How can I increase my downloads?