Monadic bounded residuated lattices
From MaRDI portal
Publication:1943692
DOI10.1007/s11083-011-9236-yzbMath1263.03060WikidataQ59288453 ScholiaQ59288453MaRDI QIDQ1943692
Publication date: 20 March 2013
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11083-011-9236-y
06D20: Heyting algebras (lattice-theoretic aspects)
03G25: Other algebras related to logic
06D35: MV-algebras
06F05: Ordered semigroups and monoids
03B50: Many-valued logic
Related Items
Unnamed Item, Quantum B-algebras with involutions, Unnamed Item, On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices, Operators on Pavelka's algebras induced by fuzzy relations, Monadic pseudo-equality algebras, Monadic bounded hoops, Monadic pseudo BE-algebras, Quantifiers on L-algebras, Characterization of monadic BL-algebras by state operators, Monadic classes of quantum B-algebras, Characterization of residuated lattices via multipliers
Cites Work
- Observations on non-commutative fuzzy logic
- Representations of monadic MV-algebras
- Every linear pseudo BL-algebra admits a state
- Residuated lattices. An algebraic glimpse at substructural logics
- Monadic GMV-algebras
- Monadic bounded commutative residuated \(\ell\)-monoids
- Algebraization of quantifier logics, an introductory overview
- Varieties of monadic Heyting algebras. II: Duality theory
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Non-commutative fuzzy structures and pairs of weak negations.
- Varieties of monadic Heyting algebras. I
- Generalized MV-algebras
- Functional monadic Heyting algebras.
- On monadic MV-algebras
- Varieties of monadic Heyting algebras. III
- Algebraic Analysis of Many Valued Logics
- Fuzzy Logics with Noncommutative Conjuctions
- A non-commutative generalization of MV-algebras
- Pseudo-t-norms and pseudo-BL algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item