Skip to main content

2014 | OriginalPaper | Buchkapitel

4. Other Non-commutative Multiple-Valued Logic Algebras

verfasst von : Lavinia Corina Ciungu

Erschienen in: Non-commutative Multiple-Valued Logic Algebras

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

In this chapter we present some specific properties of other non-commutative multiple-valued logic algebras: pseudo-MTL algebras, bounded R-monoids, pseudo-BL algebras and pseudo-MV algebras. As main results, we extend to the case of pseudo-MTL algebras some results regarding the prime filters proved for pseudo-BL algebras. The Glivenko property for multiple-valued logic algebras is defined and studied.

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 "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!

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!

Literatur
9.
Zurück zum Zitat Birkhoff, G.: Lattice Theory. Am. Math. Soc., Providence (1967) MATH Birkhoff, G.: Lattice Theory. Am. Math. Soc., Providence (1967) MATH
30.
Zurück zum Zitat Buşneag, D., Piciu, D.: On the lattice of filters of a pseudo-BL algebra. J. Mult.-Valued Log. Soft Comput. 12, 217–248 (2006) MATH Buşneag, D., Piciu, D.: On the lattice of filters of a pseudo-BL algebra. J. Mult.-Valued Log. Soft Comput. 12, 217–248 (2006) MATH
85.
Zurück zum Zitat Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: part I. Mult. Valued Log. 8, 673–714 (2002) MathSciNetMATH Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: part I. Mult. Valued Log. 8, 673–714 (2002) MathSciNetMATH
86.
Zurück zum Zitat Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: part II. Mult. Valued Log. 8, 717–750 (2002) MathSciNetMATH Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: part II. Mult. Valued Log. 8, 717–750 (2002) MathSciNetMATH
88.
Zurück zum Zitat Di Nola, A., Dvurečenskij, A., Tsinakis, C.: Perfect GMV-algebras. Commun. Algebra 36, 1221–1249 (2008) MATHCrossRef Di Nola, A., Dvurečenskij, A., Tsinakis, C.: Perfect GMV-algebras. Commun. Algebra 36, 1221–1249 (2008) MATHCrossRef
95.
Zurück zum Zitat Dvurečenskij, A.: On partial addition in pseudo-MV algebras. In: Proc. 4th International Symposium on Economic Informatics, pp. 952–960. INFOREC Printing House, Bucharest (1999) Dvurečenskij, A.: On partial addition in pseudo-MV algebras. In: Proc. 4th International Symposium on Economic Informatics, pp. 952–960. INFOREC Printing House, Bucharest (1999)
96.
Zurück zum Zitat Dvurečenskij, A.: States on pseudo-MV algebras. Stud. Log. 68, 301–327 (2001) CrossRef Dvurečenskij, A.: States on pseudo-MV algebras. Stud. Log. 68, 301–327 (2001) CrossRef
97.
Zurück zum Zitat Dvurečenskij, A.: Pseudo-MV algebras are intervals in ℓ-groups. J. Aust. Math. Soc. 70, 427–445 (2002) CrossRef Dvurečenskij, A.: Pseudo-MV algebras are intervals in -groups. J. Aust. Math. Soc. 70, 427–445 (2002) CrossRef
98.
Zurück zum Zitat Dvurečenskij, A.: Every linear pseudo-BL algebra admits a state. Soft Comput. 6, 495–501 (2007) CrossRef Dvurečenskij, A.: Every linear pseudo-BL algebra admits a state. Soft Comput. 6, 495–501 (2007) CrossRef
99.
Zurück zum Zitat Dvurečenskij, A.: Aglianò-Montagna type decomposition of linear pseudo-hoops and its applications. J. Pure Appl. Algebra 211, 851–861 (2007) MathSciNetMATHCrossRef Dvurečenskij, A.: Aglianò-Montagna type decomposition of linear pseudo-hoops and its applications. J. Pure Appl. Algebra 211, 851–861 (2007) MathSciNetMATHCrossRef
108.
Zurück zum Zitat Dvurečenskij, A., Pulmannova, S.: New Trends in Quantum Structures. Kluwer Academic, Dordrecht (2000) MATHCrossRef Dvurečenskij, A., Pulmannova, S.: New Trends in Quantum Structures. Kluwer Academic, Dordrecht (2000) MATHCrossRef
110.
Zurück zum Zitat Dvurečenskij, A., Rachůnek, J.: Probabilistic averaging in bounded non-commutative Rℓ-monoids. Semigroup Forum 72, 190–206 (2006) MathSciNet Dvurečenskij, A., Rachůnek, J.: Probabilistic averaging in bounded non-commutative R-monoids. Semigroup Forum 72, 190–206 (2006) MathSciNet
111.
Zurück zum Zitat Dvurečenskij, A., Rachůnek, J.: On Riečan and Bosbach states for bounded non-commutative Rℓ-monoids. Math. Slovaca 56, 487–500 (2006) MathSciNetMATH Dvurečenskij, A., Rachůnek, J.: On Riečan and Bosbach states for bounded non-commutative R-monoids. Math. Slovaca 56, 487–500 (2006) MathSciNetMATH
113.
Zurück zum Zitat Dvurečenskij, A., Giuntini, R., Kowalski, T.: On the structure of pseudo-BL algebras and pseudo-hoops in quantum logics. Found. Phys. 49, 1519–1542 (2010) CrossRef Dvurečenskij, A., Giuntini, R., Kowalski, T.: On the structure of pseudo-BL algebras and pseudo-hoops in quantum logics. Found. Phys. 49, 1519–1542 (2010) CrossRef
116.
Zurück zum Zitat Dymek, G., Walendziak, A.: Semisimple, Archimedean and semilocal pseudo-MV algebras. Sci. Math. Jpn. 66, 217–226 (2007) MathSciNetMATH Dymek, G., Walendziak, A.: Semisimple, Archimedean and semilocal pseudo-MV algebras. Sci. Math. Jpn. 66, 217–226 (2007) MathSciNetMATH
117.
Zurück zum Zitat Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001) MathSciNetMATHCrossRef Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001) MathSciNetMATHCrossRef
122.
Zurück zum Zitat Flondor, P., Georgescu, G., Iorgulescu, A.: Pseudo-t-norms and pseudo-BL algebras. Soft Comput. 5, 355–371 (2001) MATHCrossRef Flondor, P., Georgescu, G., Iorgulescu, A.: Pseudo-t-norms and pseudo-BL algebras. Soft Comput. 5, 355–371 (2001) MATHCrossRef
127.
129.
Zurück zum Zitat Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007) Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)
135.
Zurück zum Zitat Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras: a non-commutative extension of MV-algebras. In: Proc. 4th International Symposium of Economic Informatics, pp. 961–968. INFOREC Printing House, Bucharest (1999) Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras: a non-commutative extension of MV-algebras. In: Proc. 4th International Symposium of Economic Informatics, pp. 961–968. INFOREC Printing House, Bucharest (1999)
136.
Zurück zum Zitat Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: a non-commutative extension of BL-algebras. In: Abstracts of the 5th International Conference FSTA 2000, Slovakia, pp. 90–92 (2000) Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras: a non-commutative extension of BL-algebras. In: Abstracts of the 5th International Conference FSTA 2000, Slovakia, pp. 90–92 (2000)
137.
148.
Zurück zum Zitat Georgescu, G., Leuştean, L., Preoteasa, V.: Pseudo-hoops. J. Mult.-Valued Log. Soft Comput. 11, 153–184 (2005) MATH Georgescu, G., Leuştean, L., Preoteasa, V.: Pseudo-hoops. J. Mult.-Valued Log. Soft Comput. 11, 153–184 (2005) MATH
154.
Zurück zum Zitat Glivenko, V.: Sur quelques points de la logique de M. Brouwer. Bull. Cl. Sci., Acad. R. Belg. 15, 183–188 (1929) MATH Glivenko, V.: Sur quelques points de la logique de M. Brouwer. Bull. Cl. Sci., Acad. R. Belg. 15, 183–188 (1929) MATH
158.
159.
Zurück zum Zitat Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2, 124–128 (1998) CrossRef Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2, 124–128 (1998) CrossRef
169.
Zurück zum Zitat Ioniţă, C.: Pseudo-MV algebras as semigroups. In: Proc. 4th International Symposium on Economic Informatics, pp. 983–987. INFOREC Printing House, Bucharest (1999) Ioniţă, C.: Pseudo-MV algebras as semigroups. In: Proc. 4th International Symposium on Economic Informatics, pp. 983–987. INFOREC Printing House, Bucharest (1999)
176.
Zurück zum Zitat Iorgulescu, A.: Classes of BCK-algebras—part III. Preprint 3, Institute of Mathematics of the Romanian Academy (2004) Iorgulescu, A.: Classes of BCK-algebras—part III. Preprint 3, Institute of Mathematics of the Romanian Academy (2004)
179.
Zurück zum Zitat Iorgulescu, A.: On pseudo-BCK algebras and porims. Sci. Math. Jpn. 16, 293–305 (2004) MathSciNet Iorgulescu, A.: On pseudo-BCK algebras and porims. Sci. Math. Jpn. 16, 293–305 (2004) MathSciNet
181.
Zurück zum Zitat Iorgulescu, A.: Classes of pseudo-BCK algebras—part I. J. Mult.-Valued Log. Soft Comput. 12, 71–130 (2006) MathSciNetMATH Iorgulescu, A.: Classes of pseudo-BCK algebras—part I. J. Mult.-Valued Log. Soft Comput. 12, 71–130 (2006) MathSciNetMATH
182.
Zurück zum Zitat Iorgulescu, A.: Classes of pseudo-BCK algebras—part II. J. Mult.-Valued Log. Soft Comput. 12, 575–629 (2006) MathSciNetMATH Iorgulescu, A.: Classes of pseudo-BCK algebras—part II. J. Mult.-Valued Log. Soft Comput. 12, 575–629 (2006) MathSciNetMATH
186.
Zurück zum Zitat Iorgulescu, A.: Algebras of Logic as BCK-Algebras. ASE Ed., Bucharest (2008) MATH Iorgulescu, A.: Algebras of Logic as BCK-Algebras. ASE Ed., Bucharest (2008) MATH
188.
Zurück zum Zitat Iorgulescu, A.: Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Soft Comput. 14, 313–327 (2010) MATHCrossRef Iorgulescu, A.: Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Soft Comput. 14, 313–327 (2010) MATHCrossRef
197.
Zurück zum Zitat Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Log. 70, 183–192 (2002) MathSciNetMATHCrossRef Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Log. 70, 183–192 (2002) MathSciNetMATHCrossRef
205.
207.
Zurück zum Zitat Kühr, J.: On a generalization of pseudo-MV algebras. J. Mult.-Valued Log. Soft Comput. 12, 373–389 (2006) MATH Kühr, J.: On a generalization of pseudo-MV algebras. J. Mult.-Valued Log. Soft Comput. 12, 373–389 (2006) MATH
212.
233.
Zurück zum Zitat Noguera, C., Esteva, F., Gispert, J.: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Log. 44, 869–886 (2005) MathSciNetMATHCrossRef Noguera, C., Esteva, F., Gispert, J.: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Log. 44, 869–886 (2005) MathSciNetMATHCrossRef
238.
Zurück zum Zitat Piciu, D.: Algebras of Fuzzy Logic. Universitaria Ed., Craiova (2007) Piciu, D.: Algebras of Fuzzy Logic. Universitaria Ed., Craiova (2007)
240.
Zurück zum Zitat Rachůnek, J.: A duality between algebras of basic logic and bounded representable DRℓ-monoids. Math. Bohem. 126, 561–569 (2001) MathSciNetMATH Rachůnek, J.: A duality between algebras of basic logic and bounded representable DR-monoids. Math. Bohem. 126, 561–569 (2001) MathSciNetMATH
241.
Zurück zum Zitat Rachůnek, J.: A non-commutative generalization of MV-algebras. Czechoslov. Math. J. 52, 255–273 (2002) MATHCrossRef Rachůnek, J.: A non-commutative generalization of MV-algebras. Czechoslov. Math. J. 52, 255–273 (2002) MATHCrossRef
244.
Zurück zum Zitat Rachůnek, J., Slezák, V.: Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures. Math. Slovaca 56, 223–233 (2006) MathSciNetMATH Rachůnek, J., Slezák, V.: Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures. Math. Slovaca 56, 223–233 (2006) MathSciNetMATH
Metadaten
Titel
Other Non-commutative Multiple-Valued Logic Algebras
verfasst von
Lavinia Corina Ciungu
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-01589-7_4

Premium Partner