Monadic pseudo-equality algebras

DOI10.1007/s00500-019-04243-5zbMath1436.06052OpenAlexW2963320933WikidataQ127443884 ScholiaQ127443884MaRDI QIDQ780197

Shokoofeh Ghorbani

Publication date: 15 July 2020

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

Full work available at URL: https://doi.org/10.1007/s00500-019-04243-5

zbMATH Keywords

uniform structuremonadic deductive systemmonadic invariant pseudo-equality logicmonadic pseudo-equality algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items

Monadic classes of quantum B-algebras ⋮ Equality Logic ⋮ Monadic pseudo BE-algebras ⋮ Quantifiers on L-algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Quantum B-algebras with involutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo equality algebras
• On pseudo-equality algebras.
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Monadic bounded commutative residuated \(\ell\)-monoids
• EQ-algebras
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Varieties of monadic Heyting algebras. I
• Commutative pseudo-equality algebras
• A topological duality for monadic MV-algebras
• Monadic bounded hoops
• On monadic MV-algebras
• Equality algebras
• Monadic bounded residuated lattices
• Monadic pseudo BCI-algebras and corresponding logics
• Pseudo equality algebras: revision
• EQ-algebra-based fuzzy type theory and its extensions
• State pseudo equality algebras
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• An algebra related with a propositional calculus

This page was built for publication: Monadic pseudo-equality algebras