Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
From MaRDI portal
Publication:3520226
DOI10.1002/malq.200710048zbMath1182.03110OpenAlexW2062082125MaRDI QIDQ3520226
Publication date: 15 August 2008
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710048
Boolean algebraHeyting algebraMV-algebraBL-algebraBrouwerian algebradivisible residuated lattices-equivalence relation
Fuzzy logic; logic of vagueness (03B52) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05)
Related Items
Cites Work
- Effect algebras and unsharp quantum logics.
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- Fuzzy logic as a logic of the expressive strength of information
- Representation Theorems for Quantales
- The characteristic function of a sequence of sets and some of its applications
- Pseudoeffect algebras. I: Basic properties
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item