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

DOI10.1016/J.FSS.2016.12.007MaRDI QIDQ1697516zbMATH OpenOpenAlexFDO

Authors Diego Castaño, Patricio Díaz Varela, Laura Rueda, 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)

Abstract: In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators $forall$ and $exists$. After a study of the basic properties of this variety we show that this class is the equivalent algebraic semantics of the monadic fragment of H'ajek's basic predicate logic. In addition, we start a systematic study of the main subvarieties of monadic BL-algebras, some of which constitute the algebraic semantics of well-known monadic logics: monadic G"odel logic and monadic {L}ukasiewicz logic. In the last section we give a complete characterization of totally ordered monadic BL-algebras.

Recommendations

• Quantifiers on BL-algebras
• Monadic bounded commutative residuated -monoids
• Monadic NM-algebras
• Similarity monadic basic logic
• Monadic bounded residuated lattices

Cites work

• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 5177806 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 6276270 (Why is no real title available?)
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Decomposition of BL-chains
• Linear Heyting algebras with a quantifier
• MV-closures of Wajsberg hoops and applications
• Metamathematics of fuzzy logic
• Monadic MV-algebras. I: A study of subvarieties
• On fuzzy modal logics \(S5(\mathcal C)\)
• On monadic MV-algebras
• On the structure of hoops
• Polyadic BL-algebras: a representation theorem
• Quantifiers on BL-algebras
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Varieties of BL-algebras. I: General properties.
• Varieties of monadic Heyting algebras. I

Cited in

(23)

• Monadic NM-algebras
• Monadic pseudo BE-algebras
• scientific article; zbMATH DE number 5896241 (Why is no real title available?)
• scientific article; zbMATH DE number 1894662 (Why is no real title available?)
• Quantifiers on BL-algebras
• Characterization of monadic BL-algebras by state operators
• Topological spaces of monadic MV-algebras
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
• Monadic classes of quantum B-algebras
• Strong standard completeness theorems for S5-modal Łukasiewicz logics
• Quantum B-algebras with involutions
• Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
• An algebraic study of S5-modal Gödel logic
• On the predicate logics of continuous t-norm BL-algebras
• An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
• An algebraic study of the logic \textbf{S5'(BL)}
• Completeness for monadic fuzzy logics via functional algebras
• scientific article; zbMATH DE number 7687781 (Why is no real title available?)
• Monadic bounded hoops
• Functional monadic bounded algebras
• Similarity monadic basic logic
• Quantifiers on L-algebras
• Inflationary BL-algebras obtained from 2-dimensional general overlap functions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1697516)