Studia Logica 77 (2):267 - 292 (2004)
AbstractThe central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. We conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products.
Similar books and articles
A Simplified Duality for Implicative Lattices and L-Groups.Nestor G. Martinez - 1996 - Studia Logica 56 (1-2):185 - 204.
Equational Bases for Joins of Residuated-Lattice Varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Adding Involution to Residuated Structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.
Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
A Proof of Standard Completeness for Esteva and Godo's Logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
Added to PP
Historical graph of downloads
Citations of this work
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
Non-Commutative Logical Algebras and Algebraic Quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
Quasi-Subtractive Varieties.Tomasz Kowalski, Francesco Paoli & Matthew Spinks - 2011 - Journal of Symbolic Logic 76 (4):1261-1286.
On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
References found in this work
No references found.