Skip to main content
Erschienen in: Soft Computing 6/2016

17.10.2015 | Foundations

Pseudo equality algebras: revision

verfasst von: Anatolij Dvurečenskij, Omid Zahiri

Erschienen in: Soft Computing | Ausgabe 6/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that such pseudo equality algebras are an equality algebras. Therefore, we define a new type of algebras, called JK-algebras, which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of Kabziński and Wroński. We describe congruences via normal closed deductive systems, and we show that the variety of JK-algebras is subtractive, congruence distributive and congruence permutable.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Fußnoten
1
C stands for compatible.
 
Literatur
Zurück zum Zitat Bosbach B (1966) Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fund Math 64:257–277 Bosbach B (1966) Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fund Math 64:257–277
Zurück zum Zitat Di Nola A, Georgescu G, Iorgulescu A (2002a) Pseudo-BL algebras I. Multiple Valued Log 8:673–714 Di Nola A, Georgescu G, Iorgulescu A (2002a) Pseudo-BL algebras I. Multiple Valued Log 8:673–714
Zurück zum Zitat Di Nola A, Georgescu G, Iorgulescu A (2002b) Pseudo-BL algebras II. Multiple Valued Log 8:715–750 Di Nola A, Georgescu G, Iorgulescu A (2002b) Pseudo-BL algebras II. Multiple Valued Log 8:715–750
Zurück zum Zitat Galatos N, Jipsen P, Kowalski T, Ono H (2007) Studies in logic and the foundations of mathematics, vol 151., Residuated lattices: an algebraic glimpse at substructural logics, Elsevier, New York Galatos N, Jipsen P, Kowalski T, Ono H (2007) Studies in logic and the foundations of mathematics, vol 151., Residuated lattices: an algebraic glimpse at substructural logics, Elsevier, New York
Zurück zum Zitat Georgescu G, Iorgulescu A (2001a) Pseudo-BCK Algebras. An Extension of BCK Algebras. In: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01), London, pp 97–114 Georgescu G, Iorgulescu A (2001a) Pseudo-BCK Algebras. An Extension of BCK Algebras. In: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01), London, pp 97–114
Zurück zum Zitat Georgescu G, Iorgulescu A (2001b) Pseudo-MV algebras. Multiple Valued Log 6:95–135 Georgescu G, Iorgulescu A (2001b) Pseudo-MV algebras. Multiple Valued Log 6:95–135
Zurück zum Zitat Georgescu G, Leuştean L, Preoteasa V (2005) Pseudo-hoops. J Multiple Valued Log Soft Comput 11:153–184MathSciNetMATH Georgescu G, Leuştean L, Preoteasa V (2005) Pseudo-hoops. J Multiple Valued Log Soft Comput 11:153–184MathSciNetMATH
Zurück zum Zitat Kabzi ński J, Wroński A (1975) On equivalential algebras. In: Proceedings of the 1975 international symposium on multiple-valued logic. India University, Bloomington, pp 231–243 Kabzi ński J, Wroński A (1975) On equivalential algebras. In: Proceedings of the 1975 international symposium on multiple-valued logic. India University, Bloomington, pp 231–243
Zurück zum Zitat Kühr J (2007) Pseudo-BCK-algebras and related structures. Thesis, Palacky University Olomouc Kühr J (2007) Pseudo-BCK-algebras and related structures. Thesis, Palacky University Olomouc
Zurück zum Zitat Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul Meng J, Jun YB (1994) BCK-algebras. Kyung Moon Sa Co., Seoul
Metadaten
Titel
Pseudo equality algebras: revision
verfasst von
Anatolij Dvurečenskij
Omid Zahiri
Publikationsdatum
17.10.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 6/2016
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-015-1888-x

Weitere Artikel der Ausgabe 6/2016

Soft Computing 6/2016 Zur Ausgabe

Premium Partner