Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
DOI10.2478/s11533-006-0025-6zbMath1114.06010OpenAlexW2059051322MaRDI QIDQ861580
Sergio Arturo Celani, Leonardo Manuel Cabrer
Publication date: 29 January 2007
Published in: Central European Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/s11533-006-0025-6
Priestley dualityMV-algebrastopological representationIMTL-algebrasalgebraic structures of fuzzy logicbounded distributive lattices with fusion and implicationMTL-algebrasresiduated distributive lattices
Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50) MV-algebras (06D35)
Related Items (12)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- Bounded distributive lattices with fusion and implication
- Algebraic foundations of many-valued reasoning
- On a class of left-continuous \(\text t\)-norms
- A simplified duality for implicative lattices and \(l\)-groups
- Duality for algebras of relevant logics
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
- On Priestley spaces of lattice-ordered algebraic structures
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Stone lattices: a topological approach
- Bounded distributive lattices with strict implication
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Residuated Lattices
This page was built for publication: Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras