Commutative pseudo-equality algebras

DOI10.1007/S00500-016-2214-YMaRDI QIDQ1701928zbMATH OpenOpenAlexFDO

Authors Lavinia Ciungu

Publication date 27 February 2018

Published in Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

pseudo-BCK-algebrapseudo-valuationmeasure morphismpseudo-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{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.

Recommendations

• State pseudo-equality algebras
• Pseudo equality algebras: revision
• On pseudo-equality algebras.
• Pseudo equality algebras
• Monadic pseudo-equality algebras

Cites work

• 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?)
• Algebras of logic as BCK algebras
• Averaging the truth-value in Łukasiewicz logic
• BCK/BCI-ALGEBRAS WITH PSEUDO-VALUATIONS
• COMMUTATIVE BCK-ALGEBRAS WITH PRODUCT
• Commutative BCK-algebras and quantum structures
• 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
• 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

(10)

• Commutative pseudo BCK-algebras
• Commutative deductive systems in probability theory on generalizations of fuzzy structures
• Pseudo equality algebras: revision
• Commutative pseudo BE-algebras.
• Involutive equality algebras
• Pseudo-composition algebras
• Pseudo equality algebras
• Monadic pseudo-equality algebras
• State pseudo-equality algebras
• Commutative equality algebras and \&-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)