Commutative integral bounded residuated lattices with an added involution

DOI10.1016/J.APAL.2009.05.008zbMATH Open1181.03061OpenAlexW2034510531MaRDI QIDQ1035650FDOQ1035650

Authors: Francesc Esteva, Roberto 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

Recommendations

• Interior and closure operators on commutative bounded residuated lattices
• Interior and closure operators on bounded residuated lattices
• Commutative residuated lattices with \((x\odot y)'=x'\vee y'\)
• Algebraic properties of intuitionistic fuzzy residuated lattices
• On residuated lattices with left and right internal state

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (14)

• A categorical equivalence for Stonean residuated lattices
• Poset-valued preference relations.
• Representations through a monoid on the set of fuzzy implications
• Optimization of partially monotonic functions subject to bipolar fuzzy relation equations
• Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side
• Tense operators ``until and ``since on residuated lattices
• Adding involution to residuated structures
• A comparative study of variable precision fuzzy rough sets based on residuated lattices
• Lattice-theoretic properties of algebras of logic
• Nelson algebras, residuated lattices and rough sets: A survey
• Simple characterization of strict residuated lattices with an involutive negation
• Direct product of \(\ell\)-algebras and unification: an application to residuated lattices
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices

This page was built for publication: Commutative integral bounded residuated lattices with an added involution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035650)