Monadic pseudo-equality algebras

DOI10.1007/S00500-019-04243-5MaRDI QIDQ780197zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Monadic pseudo BCI-algebras and corresponding logics
• Monadic involutive pseudo-BCK algebras
• Monadic pseudo BE-algebras
• On pseudo-equality algebras.
• Pseudo equality algebras

Cites work

• scientific article; zbMATH DE number 1665447 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 5304752 (Why is no real title available?)
• scientific article; zbMATH DE number 5177806 (Why is no real title available?)
• scientific article; zbMATH DE number 3675892 (Why is no real title available?)
• scientific article; zbMATH DE number 1303618 (Why is no real title available?)
• scientific article; zbMATH DE number 2143390 (Why is no real title available?)
• A topological duality for monadic MV-algebras
• An algebra related with a propositional calculus
• Commutative pseudo-equality algebras
• EQ-algebra-based fuzzy type theory and its extensions
• EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Equality algebras
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Monadic bounded commutative residuated -monoids
• Monadic bounded hoops
• Monadic bounded residuated lattices
• Monadic pseudo BCI-algebras and corresponding logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On monadic MV-algebras
• On pseudo-equality algebras.
• Pseudo equality algebras
• Pseudo equality algebras: revision
• State pseudo-equality algebras
• Varieties of monadic Heyting algebras. I

Cited in

(16)

• Pseudo equality algebras with very true operators
• An algebraic study of the logic \textbf{S5'(BL)}
• Pseudo equality algebras: revision
• scientific article; zbMATH DE number 5150151 (Why is no real title available?)
• Quantum B-algebras with involutions
• Some results on pseudomonoids
• scientific article; zbMATH DE number 3895062 (Why is no real title available?)
• On categorical equivalences of equality algebras and monadic equality algebras
• Quantifiers on L-algebras
• Equality logic
• Commutative pseudo-equality algebras
• Monadic involutive pseudo-BCK algebras
• Pseudo equality algebras
• Monadic classes of quantum B-algebras
• Monadic pseudo BE-algebras
• Monadic pseudo BCI-algebras and corresponding logics

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

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