Hulls of ordered algebras: Projectability, strong projectability and lateral completeness

Autor: José Gil-Férez, Constantine Tsinakis, Antonio Ledda
Rok vydání: 2017
Předmět:
Zdroj: Journal of Algebra. 483:429-474
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2017.04.005
Popis: There has been compelling evidence during the past decade that lattice-ordered groups (l-groups) play a far more significant role in the study of algebras of logic than it had been previously anticipated. Their key role has emerged on two fronts: First, a number of research articles have established that some of the most prominent classes of algebras of logic may be viewed as l-groups with a modal operator. Second, and perhaps more importantly, recent research has demonstrated that the foundations of the Conrad Program for l-groups can be profitably extended to a much wider class of algebras, namely the variety of e-cyclic residuated lattices – that is, residuated lattices that satisfy the identity x \ e ≈ e / x . Here, the term Conrad Program refers to Paul Conrad's approach to the study of l-groups that analyzes the structure of individual or classes of l-groups by primarily focusing on their lattices of convex l-subgroups. The present article, building on the aforementioned works, studies existence and uniqueness of the laterally complete, projectable and strongly projectable hulls of e-cyclic residuated lattices. While these hulls first made their appearance in the context of functional analysis, and in particular the theory of Riesz spaces, their introduction into the study of algebras of logic adds new tools and techniques in the area and opens up possibilities for a deep exploration of their logical counterparts.
Databáze: OpenAIRE
Externí odkaz: