Skip to main content
Erschienen in: Soft Computing 4/2010

01.02.2010 | Original Paper

Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices

verfasst von: Afrodita Iorgulescu

Erschienen in: Soft Computing | Ausgabe 4/2010

Einloggen

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

search-config
loading …

Abstract

We illustrate by classes of examples the close connections existing between pseudo-MV algebras, on the one hand, and pseudo-BL algebras and divisible bounded non-commutative residuated lattices, on the other hand. We use equivalent definitions of these algebras, as particular cases of pseudo-BCK algebras. We analyse the strongness, the pseudo-involutive center and the filters for each example.

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!

Literatur
Zurück zum Zitat Buşneag D, Iorgulescu A, Rudeanu S (2008) On filters and deductive systems in algebra of logic (submitted) Buşneag D, Iorgulescu A, Rudeanu S (2008) On filters and deductive systems in algebra of logic (submitted)
Zurück zum Zitat Ceterchi R (1999) On algebras with implications, categorically equivalent to pseudo-MV algebras. In: The proceedings of the fourth international symposium on economic informatics. INFOREC Printing House, Bucharest, Romania, pp 912–916 Ceterchi R (1999) On algebras with implications, categorically equivalent to pseudo-MV algebras. In: The proceedings of the fourth international symposium on economic informatics. INFOREC Printing House, Bucharest, Romania, pp 912–916
Zurück zum Zitat Ceterchi R (2001) Pseudo-Wajsberg Algebras (A special issue dedicated to the memory of Gr. C. Moisil). Mult Val Logic 6(1–2):67–88MATHMathSciNet Ceterchi R (2001) Pseudo-Wajsberg Algebras (A special issue dedicated to the memory of Gr. C. Moisil). Mult Val Logic 6(1–2):67–88MATHMathSciNet
Zurück zum Zitat Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490MATHCrossRef Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490MATHCrossRef
Zurück zum Zitat Di Nola A, Georgescu G, Iorgulescu A (2002a) Pseudo-BL algebras: part I. Multi Val Logic 8(5–6):673–714MATHMathSciNet Di Nola A, Georgescu G, Iorgulescu A (2002a) Pseudo-BL algebras: part I. Multi Val Logic 8(5–6):673–714MATHMathSciNet
Zurück zum Zitat Di Nola A, Georgescu G, Iorgulescu A (2002b) Pseudo-BL algebras: part II. Multi Val Logic 8(5–6):717–750MATHMathSciNet Di Nola A, Georgescu G, Iorgulescu A (2002b) Pseudo-BL algebras: part II. Multi Val Logic 8(5–6):717–750MATHMathSciNet
Zurück zum Zitat Dvurecenskij A, Giuntini R, Kowalski T (2009) On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (submitted) Dvurecenskij A, Giuntini R, Kowalski T (2009) On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (submitted)
Zurück zum Zitat Dymek G, Walendziak A (2007) On maximal ideals of pseudo MV-algebras. Comment Math 47:117–126MATHMathSciNet Dymek G, Walendziak A (2007) On maximal ideals of pseudo MV-algebras. Comment Math 47:117–126MATHMathSciNet
Zurück zum Zitat Flondor P, Georgescu G, Iorgulescu A (2001) Pseudo-t-norms and pseudo-BL algebras. Soft Comput 5(5):355–371MATHCrossRef Flondor P, Georgescu G, Iorgulescu A (2001) Pseudo-t-norms and pseudo-BL algebras. Soft Comput 5(5):355–371MATHCrossRef
Zurück zum Zitat Font JM, Rodriguez AJ, Torrens A (1984) Wajsberg algebras. Stochastica VIII(1):5–31MathSciNet Font JM, Rodriguez AJ, Torrens A (1984) Wajsberg algebras. Stochastica VIII(1):5–31MathSciNet
Zurück zum Zitat Georgescu G, Iorgulescu A (1999) Pseudo-MV Algebras: a noncommutative extension of MV algebras. In: The proceedings of the fourth international symposium on economic informatics. Bucharest, Romania, pp 961–968 Georgescu G, Iorgulescu A (1999) Pseudo-MV Algebras: a noncommutative extension of MV algebras. In: The proceedings of the fourth international symposium on economic informatics. Bucharest, Romania, pp 961–968
Zurück zum Zitat Georgescu G, Iorgulescu A (2000) Pseudo-BL algebras: a noncommutative extension of BL algebras. In: Abstracts of the fifth international conference FSTA 2000. Slovakia, pp 90–92 Georgescu G, Iorgulescu A (2000) Pseudo-BL algebras: a noncommutative extension of BL algebras. In: Abstracts of the fifth international conference FSTA 2000. Slovakia, pp 90–92
Zurück zum Zitat Georgescu G, Iorgulescu A (2001a) Pseudo-BCK algebras: an extension of BCK algebras. In: Proceedings of DMTCS’01: combinatorics, computability and logic. Springer, London, pp 97–114 Georgescu G, Iorgulescu A (2001a) Pseudo-BCK algebras: an extension of BCK algebras. In: Proceedings of DMTCS’01: combinatorics, computability and logic. Springer, London, pp 97–114
Zurück zum Zitat Hájek P (1996) Metamathematics of fuzzy logic. Institute of Computer Science, Academy of Science of Czech Report, Technical report 682 Hájek P (1996) Metamathematics of fuzzy logic. Institute of Computer Science, Academy of Science of Czech Report, Technical report 682
Zurück zum Zitat Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtMATH Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtMATH
Zurück zum Zitat Iorgulescu A (2004a) On pseudo-BCK algebras and porims. Sci Math Japonicae 10(16):293–305MathSciNet Iorgulescu A (2004a) On pseudo-BCK algebras and porims. Sci Math Japonicae 10(16):293–305MathSciNet
Zurück zum Zitat Iorgulescu A (2004b) Classes of BCK algebras: Part III, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 3/2004, pp 1–37 Iorgulescu A (2004b) Classes of BCK algebras: Part III, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 3/2004, pp 1–37
Zurück zum Zitat Iorgulescu A (2005) Pseudo-Iséki algebras. Connection with pseudo-BL algebras. J Multiple Valued Log Soft Comput 11(3–4):263–308MATHMathSciNet Iorgulescu A (2005) Pseudo-Iséki algebras. Connection with pseudo-BL algebras. J Multiple Valued Log Soft Comput 11(3–4):263–308MATHMathSciNet
Zurück zum Zitat Iorgulescu A (2006a) Classes of pseudo-BCK algebras: part I. J Multiple Valued Log Soft Comput 12(1–2):71–130MATHMathSciNet Iorgulescu A (2006a) Classes of pseudo-BCK algebras: part I. J Multiple Valued Log Soft Comput 12(1–2):71–130MATHMathSciNet
Zurück zum Zitat Iorgulescu A (2006b) Classes of pseudo-BCK algebras: part II. J Multiple Valued Log Soft Comput 12(5–6):575–629MATHMathSciNet Iorgulescu A (2006b) Classes of pseudo-BCK algebras: part II. J Multiple Valued Log Soft Comput 12(5–6):575–629MATHMathSciNet
Zurück zum Zitat Iorgulescu A (2008b) On BCK algebras—part III: classes of examples of proper MV algebras, BL algebras and divisible bounded residuated lattices, with or without condition (WNM) (submitted) Iorgulescu A (2008b) On BCK algebras—part III: classes of examples of proper MV algebras, BL algebras and divisible bounded residuated lattices, with or without condition (WNM) (submitted)
Zurück zum Zitat Iséki K (1966) An algebra related with a propositional calculus. Proc Jpn Acad 42:26–29MATHCrossRef Iséki K (1966) An algebra related with a propositional calculus. Proc Jpn Acad 42:26–29MATHCrossRef
Zurück zum Zitat Mundici D (1986a) MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math Jpn 31(6):889–894MATHMathSciNet Mundici D (1986a) MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math Jpn 31(6):889–894MATHMathSciNet
Metadaten
Titel
Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices
verfasst von
Afrodita Iorgulescu
Publikationsdatum
01.02.2010
Verlag
Springer-Verlag
Erschienen in
Soft Computing / Ausgabe 4/2010
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-009-0405-5

Weitere Artikel der Ausgabe 4/2010

Soft Computing 4/2010 Zur Ausgabe