Commutative integral bounded residuated lattices with an added involution

DOI10.1016/j.apal.2009.05.008zbMath1181.03061OpenAlexW2034510531MaRDI QIDQ1035650

Francesc Esteva, Roberto L. O. Cignoli

Publication date: 4 November 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10261/160166

zbMATH Keywords

residuated latticesorder-reversing involutionsinterior operatorspseudo-complemented residuated latticesStonean residuated lattices

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Representations through a monoid on the set of fuzzy implications ⋮ Poset-valued preference relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimization of partially monotonic functions subject to bipolar fuzzy relation equations ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Simple characterization of strict residuated lattices with an involutive negation ⋮ Lattice-theoretic properties of algebras of logic ⋮ \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices ⋮ A comparative study of variable precision fuzzy rough sets based on residuated lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• T-norm-based logics with an independent involutive negation
• Residuated lattices. An algebraic glimpse at substructural logics
• The lattice structure of some Lukasiewicz algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• On a class of left-continuous \(\text t\)-norms
• Residuated fuzzy logics with an involutive negation
• Free algebras in varieties of Stonean residuated lattices
• Injectives in residuated algebras
• Heyting Algebras with a Dual Lattice Endomorphism
• Residuated logics based on strict triangular norms with an involutive negation