Monadic bounded residuated lattices

DOI10.1007/s11083-011-9236-yzbMath1263.03060WikidataQ59288453 ScholiaQ59288453MaRDI QIDQ1943692

Dana Šalounová, Jiří Rachůnek

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

zbMATH Keywords

quantifiers; algebras of logics; bounded integral residuated lattice; monadic residuated lattice

Mathematics Subject Classification ID

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