Monadic pseudo-equality algebras

DOI10.1007/S00500-019-04243-5zbMATH Open1436.06052OpenAlexW2963320933WikidataQ127443884 ScholiaQ127443884MaRDI QIDQ780197FDOQ780197

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

Recommendations

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

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)

Cites Work

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

Cited In (9)

• An algebraic study of the logic \textbf{S5'(BL)}
• Title not available (Why is that?)
• Quantum B-algebras with involutions
• Equality Logic
• Title not available (Why is that?)
• Quantifiers on L-algebras
• Monadic involutive pseudo-BCK algebras
• Monadic classes of quantum B-algebras
• Monadic pseudo BE-algebras

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)