State pseudo-equality algebras

zbMATH Open1398.06030arXiv1602.07828MaRDI QIDQ4963205FDOQ4963205

Authors: Lavinia Ciungu 

Publication date: 6 November 2018

Abstract: Pseudo equality algebras were initially introduced by Jenei and $mKacuteoracuteodi$ as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurev censkij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as commutative, symmetric, pointed and compatible pseudo equality algebras. We prove that any internal state (state-morphism) on a pseudo equality algebra is also an internal state (state-morphism) on its corresponding pseudo BCK(pC)-meet-semilattice, and we prove the converse for the case of linearly ordered symmetric pseudo equality algebras. We also show that any internal state (state-morphism) on a pseudo BCK(pC)-meet-semilattice is also an internal state (state-morphism) on its corresponding pseudo equality algebra. The notion of a Bosbach state on a pointed pseudo equality algebra is introduced and proved that any Bosbach state on a pointed pseudo equality algebra is also a Bosbach state on its corresponding pointed pseudo BCK(pC)-meet-semilattice. For the case of an invariant pointed pseudo equality algebra, we show that the Bosbach states on the two structures coincide.

Full work available at URL: https://arxiv.org/abs/1602.07828

Recommendations

• Internal states on equality algebras
• Generalized state maps and states on pseudo equality algebras
• Commutative pseudo-equality algebras
• Pseudo equality algebras: revision
• On pseudo-equality algebras.

zbMATH Keywords

state-morphisminternal stateBosbach statepseudo-BCK algebrapseudo-equality algebrapseudo-BCK meet-semilatticecompatible pseudo-equality algebrapointed pseudo-equality algebrasymmetric pseudo-equality algebra

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Averaging the truth-value in Łukasiewicz logic
• EQ-algebra-based fuzzy type theory and its extensions
• On pseudo-equality algebras.
• On fuzzy type theory
• MV-algebras with internal states and probabilistic fuzzy logics
• Title not available (Why is that?)
• Equality algebras
• State BCK-algebras and state-morphism BCK-algebras.
• Internal states on equality algebras
• Title not available (Why is that?)
• Pseudo equality algebras
• Algebras of logic as BCK algebras
• Pseudo BCK-semilattices
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Non-commutative Multiple-Valued Logic Algebras
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• Algebras on subintervals of pseudo-hoops
• Commutative deductive systems of pseudo-BCK-algebras

Cited In (9)

• Pseudo equality algebras: revision
• States on pseudo-BCI algebras
• On pseudo-equality algebras.
• Generalized state maps and states on pseudo equality algebras
• Commutative pseudo-equality algebras
• Internal states on equality algebras
• On pseudo BL-algebras with internal state
• Monadic pseudo-equality algebras
• Title not available (Why is that?)

Uses Software

• Pseudo Hoops

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

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