Internal states on equality algebras (Q344089): Difference between revisions

The internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices are studied. The main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. Moreover, any internal state on a linearly ordered BCK-meet-semilattice satisfying the distributivity condition is also an internal state on its corresponding equality algebra and a state-morphism on a BCK-meet-semilattice satisfying the distributivity condition is also a state-morphism on its corresponding equality algebra.

0 references

zbMATH Keywords

internal state

0 references

equality algebra

0 references

BCK-algebra

0 references

state-morphism operator

0 references

0 references

0 references

full work available at URL

https://doi.org/10.1007/s00500-014-1494-3

0 references

cites work

State BCK-algebras and state-morphism BCK-algebras.

0 references

State operators on GMV algebras

0 references

State BL-algebras

0 references

Bounded pseudo-hoops with internal states

0 references

On pseudo-equality algebras.

0 references

MV-algebras with internal states and probabilistic fuzzy logics

0 references

State-morphism MV-algebras

0 references

Erratum to ``State-morphism MV-algebras''

0 references

Subdirectly irreducible state-morphism BL-algebras

0 references

State operators on generalizations of fuzzy structures

0 references

On good EQ-algebras

0 references

Q2752146

0 references

Metamathematics of fuzzy logic

0 references

On axiom systems of propositional calculi, XIV

0 references

Q3508717

0 references

Q5190972

0 references

Equality algebras

0 references

Pseudo equality algebras

0 references

Q5442313

0 references

Averaging the truth-value in Łukasiewicz logic

0 references

On fuzzy type theory

0 references

EQ-algebras

0 references

EQ-algebra-based fuzzy type theory and its extensions

0 references

EQ-logics: non-commutative fuzzy logics based on fuzzy equality

0 references

Identifiers

zbMATH Open document ID

1392.06013

0 references

DOI

10.1007/s00500-014-1494-3

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:344089

@@ Property / review text @@
+The internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices are studied. The main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. Moreover, any internal state on a linearly ordered BCK-meet-semilattice satisfying the distributivity condition is also an internal state on its corresponding equality algebra and a state-morphism on a BCK-meet-semilattice satisfying the distributivity condition is also a state-morphism on its corresponding equality algebra.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F35
@@ Property / Mathematics Subject Classification ID: 06F35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6655021
@@ Property / zbMATH DE Number: 6655021 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+internal state
@@ Property / zbMATH Keywords: internal state / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equality algebra
@@ Property / zbMATH Keywords: equality algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BCK-algebra
@@ Property / zbMATH Keywords: BCK-algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+state-morphism operator
@@ Property / zbMATH Keywords: state-morphism operator / rank @@
+Normal rank
@@ Property / reviewed by @@
+Wiesław A. Dudek
@@ Property / reviewed by: Wiesław A. Dudek / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00500-014-1494-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2007473754
@@ Property / OpenAlex ID: W2007473754 / rank @@
+Normal rank
@@ Property / cites work @@
+State BCK-algebras and state-morphism BCK-algebras.
+Normal rank
@@ Property / cites work @@
+State operators on GMV algebras
@@ Property / cites work: State operators on GMV algebras / rank @@
+Normal rank
@@ Property / cites work @@
+State BL-algebras
@@ Property / cites work: State BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded pseudo-hoops with internal states
@@ Property / cites work: Bounded pseudo-hoops with internal states / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudo-equality algebras.
@@ Property / cites work: On pseudo-equality algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+MV-algebras with internal states and probabilistic fuzzy logics
+Normal rank
@@ Property / cites work @@
+State-morphism MV-algebras
@@ Property / cites work: State-morphism MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Erratum to ``State-morphism MV-algebras''
@@ Property / cites work: Erratum to ``State-morphism MV-algebras'' / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirectly irreducible state-morphism BL-algebras
+Normal rank
@@ Property / cites work @@
+State operators on generalizations of fuzzy structures
+Normal rank
@@ Property / cites work @@
+On good EQ-algebras
@@ Property / cites work: On good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752146
@@ Property / cites work: Q2752146 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XIV
@@ Property / cites work: On axiom systems of propositional calculi, XIV / rank @@
+Normal rank
@@ Property / cites work @@
+Q3508717
@@ Property / cites work: Q3508717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190972
@@ Property / cites work: Q5190972 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality algebras
@@ Property / cites work: Equality algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo equality algebras
@@ Property / cites work: Pseudo equality algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5442313
@@ Property / cites work: Q5442313 / rank @@
+Normal rank
@@ Property / cites work @@
+Averaging the truth-value in Łukasiewicz logic
@@ Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebra-based fuzzy type theory and its extensions
+Normal rank
@@ Property / cites work @@
+EQ-logics: non-commutative fuzzy logics based on fuzzy equality
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:344089