Commutative pseudo-equality algebras
From MaRDI portal
Abstract: Pseudo equality algebras were initially introduced by Jenei and as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurev{c}enskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equality algebra is commutative if and only if its corresponding pseudo BCK(pC)-meet-semilattice is commutative. Other results consist of proving that every commutative pseudo equality algebra is a distributive lattice and every finite invariant commutative pseudo equality algebra is a symmetric pseudo equality algebra. We also introduce and investigate the commutative deductive systems of pseudo equality algebras. As applications of these notions and results we define and study the measures and measure-morphisms on pseudo equality algebras, we prove new properties of state pseudo equality algebras, and we introduce and investigate the pseudo-valuations on pseudo equality algebras.
It is proved that an invariant pseudo-equality algebra is commutative if and only if its corresponding pseudo-BCK-meet-semilattice is commutative. Every commutative pseudo-equality algebra is a distributive lattice and every finite invariant commutative pseudo-equality algebra is a symmetric pseudo-equality algebra. The kernel of a commutative pseudo-valuation on a pseudo-equality algebra is its commutative deductive system.
Recommendations
Cites work
- Algebras of logic as BCK algebras
- Averaging the truth-value in Łukasiewicz logic
- BCK/BCI-ALGEBRAS WITH PSEUDO-VALUATIONS
- Commutative BCK-algebras and quantum structures
- COMMUTATIVE BCK-ALGEBRAS WITH PRODUCT
- Commutative deductive systems of pseudo-BCK-algebras
- Commutative pseudo BCK-algebras
- Commutative pseudo valuations on BCK-algebras
- EQ-algebra-based fuzzy type theory and its extensions
- EQ-logics with delta connective
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality
- Equality algebras
- scientific article; zbMATH DE number 1665447 (Why is no real title available?)
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 5969105 (Why is no real title available?)
- scientific article; zbMATH DE number 5295432 (Why is no real title available?)
- scientific article; zbMATH DE number 1383300 (Why is no real title available?)
- scientific article; zbMATH DE number 1857856 (Why is no real title available?)
- Incremental learning for \(\nu\)-support vector regression
- Internal states on equality algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Non-commutative Multiple-Valued Logic Algebras
- On fuzzy type theory
- On pseudo-equality algebras.
- Pseudo BCK-semilattices
- Pseudo equality algebras
- Pseudo equality algebras: revision
- State pseudo-equality algebras
- Valuations on residuated lattices
Cited in
(11)- Pseudo-composition algebras
- Involutive equality algebras
- Commutative deductive systems in probability theory on generalizations of fuzzy structures
- Pseudo equality algebras: revision
- Commutative pseudo BE-algebras.
- Pseudo equality algebras
- State pseudo-equality algebras
- Commutative equality algebras and \&-equality algebras
- Commutative pseudo BCK-algebras
- Pseudo equality algebras with very true operators
- Monadic pseudo-equality algebras
This page was built for publication: Commutative pseudo-equality algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701928)
