Completeness for monadic fuzzy logics via functional algebras

DOI10.1016/j.fss.2020.02.002zbMath1464.03024OpenAlexW3006017410MaRDI QIDQ2035346

Laura Rueda, José Patricio Díaz Varela, Diego N. Castaño, Cecilia Rossana Cimadamore

Publication date: 24 June 2021

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2020.02.002

zbMATH Keywords

basic logiccompleteness theoremŁukasiewicz logicGödel logicmonadic logicfunctional algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (3)

Towards a unified view on logics for uncertainty ⋮ Unnamed Item ⋮ An algebraic study of S5-modal Gödel logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy modal logics \(S5(\mathcal C)\)
• Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
• Representations of monadic MV-algebras
• Varieties of monadic Heyting algebras. II: Duality theory
• Metamathematics of fuzzy logic
• Varieties of monadic Heyting algebras. I
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Functional monadic Heyting algebras.
• Algebraic foundations of many-valued reasoning
• On monadic MV-algebras
• Varieties of monadic Heyting algebras. III
• The one-variable fragment of corsi logic
• Decidability of order-based modal logics
• Geometry of Robinson consistency in Łukasiewicz logic
• Monadic MV-algebras. I: A study of subvarieties
• Monadic MV-algebras. II: Monadic implicational subreducts
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Amalgamations of Lattice Ordered Groups

This page was built for publication: Completeness for monadic fuzzy logics via functional algebras