Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic

DOI10.1016/j.fss.2016.12.007zbMath1387.03074arXiv1609.05082OpenAlexW2962873294MaRDI QIDQ1697516

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

Publication date: 20 February 2018

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

Full work available at URL: https://arxiv.org/abs/1609.05082

zbMATH Keywords

mathematical fuzzy logicBL-algebrasmonadic logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (15)

Characterization of monadic BL-algebras by state operators ⋮ Monadic classes of quantum B-algebras ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Unnamed Item ⋮ Similarity monadic basic logic ⋮ Topological spaces of monadic MV-algebras ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Inflationary BL-algebras obtained from 2-dimensional general overlap functions ⋮ Monadic pseudo BE-algebras ⋮ An algebraic study of S5-modal Gödel logic ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ Quantifiers on L-algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Quantum B-algebras with involutions

Cites Work

• MV-closures of Wajsberg hoops and applications
• On fuzzy modal logics \(S5(\mathcal C)\)
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Metamathematics of fuzzy logic
• Varieties of monadic Heyting algebras. I
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• On monadic MV-algebras
• Monadic MV-algebras. I: A study of subvarieties
• Decomposition of BL-chains
• Algebraizable logics
• Linear Heyting algebras with a quantifier
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic