State pseudo-equality algebras

MaRDI QIDQ4963205zbMATH OpenFDO

Authors Lavinia Ciungu

Publication date 6 November 2018

Full work available at URL https://arxiv.org/abs/1602.07828, http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-30-number-4-6-2018/mvlsc-30-4-6-p-573-613/

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)

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.

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.

Cites work

• scientific article; zbMATH DE number 1665447 (Why is no real title available?)
• scientific article; zbMATH DE number 5295432 (Why is no real title available?)
• scientific article; zbMATH DE number 2209906 (Why is no real title available?)
• Algebras of logic as BCK algebras
• Algebras on subintervals of pseudo-hoops
• Averaging the truth-value in Łukasiewicz logic
• Commutative deductive systems of pseudo-BCK-algebras
• EQ-algebra-based fuzzy type theory and its extensions
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Equality algebras
• Internal states on equality algebras
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• MV-algebras with internal states and probabilistic fuzzy logics
• Non-commutative Multiple-Valued Logic Algebras
• On fuzzy type theory
• On pseudo-equality algebras.
• Pseudo BCK-semilattices
• Pseudo equality algebras
• State BCK-algebras and state-morphism 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
• Monadic pseudo-equality algebras
• On pseudo BL-algebras with internal state
• scientific article; zbMATH DE number 6854971 (Why is no real title available?)

Describes a project that uses

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)