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

DOI10.1016/J.FSS.2016.12.007zbMATH Open1387.03074arXiv1609.05082OpenAlexW2962873294MaRDI QIDQ1697516FDOQ1697516

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)

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.

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

Recommendations

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

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)

Cites Work

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

Cited In (23)

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

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)