Monadic bounded hoops

DOI10.1007/s00500-017-2648-xzbMath1398.06014OpenAlexW2621070506MaRDI QIDQ1797798

Jun Tao Wang, Xiao Long Xin, Peng Fei He

Publication date: 22 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-017-2648-x

zbMATH Keywords

quantifierhooplogical algebramonadic filtermonadic hoop logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (11)

Characterization of monadic BL-algebras by state operators ⋮ Monadic classes of quantum B-algebras ⋮ Some results on derivations of MV-algebras ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Generalized valuations on MTL-algebras ⋮ Unnamed Item ⋮ Monadic pseudo BE-algebras ⋮ Monadic pseudo-equality algebras ⋮ Quantifiers on L-algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Quantum B-algebras with involutions

Uses Software

• Pseudo Hoops

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
• Monadic bounded commutative residuated \(\ell\)-monoids
• Cylindric algebras. Part II
• Algebraization of quantifier logics, an introductory overview
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Varieties of monadic Heyting algebras. I
• A topological duality for monadic MV-algebras
• Lattices and ordered algebraic structures
• Varieties of BL-algebras. I: General properties.
• On the structure of hoops
• On monadic MV-algebras
• On normal-valued basic pseudo-hoops
• Monadic bounded residuated lattices
• On pseudo-BL-algebras and pseudo-hoops with normal maximal filters
• Basic hoops: an algebraic study of continuous t-norms
• Local and perfect semihoops
• Algebraic Analysis of Many Valued Logics
• Hoops and Fuzzy Logic
• Some results in hoop algebras
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Residuated Lattices

This page was built for publication: Monadic bounded hoops