Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic

DOI10.1093/LOGCOM/EXAB076MaRDI QIDQ5866471zbMATH OpenOpenAlexFDO

Authors Juntao Wang, Pengfei He, Jiang Yang, Mei Wang, Xiaoli He

Publication date 22 September 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab076

zbMATH Keywords

mathematical fuzzy logicmonadic NM-algebramonadic predicate logicrepresentation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Monadic NM-algebras
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• An algebraic study of the logic \textbf{S5'(BL)}
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
• Completeness for monadic fuzzy logics via functional algebras

Cited in

(10)

• Generalized valuations on MTL-algebras
• Nilpotent Minimum Logic NM and Pretabularity
• Some results on derivations of MV-algebras
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
• Two extensions of \(\mathcal{L}\)-fuzzy state monadic ideals in state monadic MV-algebras
• An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
• On state monadic MV-algebras
• The existence of nontrivial monadic operators on linearly ordered monadic nilpotent minimum algebras
• An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
• A state operator on the uE-algebra

This page was built for publication: Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic

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