nach oben

Soft Computing

Erschienen in:

01.04.2012 | Original Paper

On normal-valued basic pseudo-hoops

verfasst von: Michal Botur, Anatolij Dvurečenskij, Tomasz Kowalski

Erschienen in: Soft Computing | Ausgabe 4/2012

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

We show that every pseudo-hoop satisfies the Riesz decomposition property. We visualize basic pseudo-hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo-hoops giving a countable base of equations for them.

Vorheriger Artikel Impacts of sampling strategies in tournament selection for genetic programming

Nächster Artikel Rule extraction algorithm from support vector machines and its application to credit screening

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Aglianò P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181:105–129MathSciNetMATHCrossRef

Anderson M, Edwards CC (1984) A representation theorem for distributive \(\ell\)-monoids. Can Math Bull 27:238–240MathSciNetMATHCrossRef

Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13:437–461MathSciNetMATHCrossRef

Bosbach B (1966) Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fund Math 64:257–287MathSciNet

Bosbach B (1970) Komplementäre Halbgruppen. Kongruenzen and Quotienten. Fund Math 69:1–14MathSciNetMATH

Bosbach B (2009) Residuation groupoids—again. Results Math 53:27–51MathSciNetMATHCrossRef

Bosbach B (2010) Divisibility groupoids—again. Results Math 57:257–285MathSciNetMATHCrossRef

Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490MATHCrossRef

Darnel MR (1995) Theory of lattice-ordered groups. Marcel Dekker, New YorkMATH

Di Nola A, Georgescu G, Iorgulescu A (2002a) Pseudo-BL algebras I. Mult Valued Log 8:673–714MathSciNetMATH

Di Nola A, Georgescu G, Iorgulescu A (2002b) Pseudo-BL algebras II. Mult Valued Log 8:715–750

Dvurečenskij A (2001) States on pseudo MV-algebras. Stud Log 68:301–327MATHCrossRef

Dvurečenskij A (2002) Pseudo MV-algebras are intervals in \(\ell\)-groups. J Aust Math Soc 70:427–445CrossRef

Dvurečenskij A (2006) Holland’s theorem for pseudo-effect algebras. Czechoslov Math J 56:47–59MATHCrossRef

Dvurečenskij A (2007) Every linear pseudo BL-algebra admits a state. Soft Comput 11:495–501MATHCrossRef

Dvurečenskij A (2007) Aglianò–Montagna type decomposition of linear pseudo hoops and its applications. J Pure Appl Algebra 211:851–861MathSciNetMATHCrossRef

Dvurečenskij A, Giuntini R, Kowalski T (2010) On the structure of pseudo BL-algebras and pseudo hoops in quantum logics. Found Phys 40:1519–1542. doi:10.1007/s10701-009-9342-5 MathSciNetMATHCrossRef

Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283:254–291MathSciNetMATHCrossRef

Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Mult Valued Log 6:95–135MathSciNetMATH

Georgescu G, Leuştean L, Preoteasa V (2005) Pseudo-hoops. J Mult Valued Log Soft Comput 11:153–184MATH

Hájek P (1998) Metamathematics of fuzzy logic. Trends in logic—studia logica library, vol 4. Kluwer, DordrechtCrossRef

Holland WC (1963) The lattice-ordered group of automorphisms of an ordered set. Mich Math J 10:399–408MathSciNetMATHCrossRef

Jipsen P, Montagna F (2006) On the structure of generalized BL-algebras. Algebra Universalis 55:226–237MathSciNetCrossRef

Mesiar R, Nánásiová O, Riečanová Z, Paseka J (2009) Special issue—quantum structures: theory and applications. Inf Sci 179:475–477CrossRef

Rachůnek J (2002) A non-commutative generalization of MV-algebras. Czechoslov Math J 52:255–273MATHCrossRef

Titel: On normal-valued basic pseudo-hoops
verfasst von: Michal Botur
Anatolij Dvurečenskij
Tomasz Kowalski
Publikationsdatum: 01.04.2012
Verlag: Springer-Verlag
Erschienen in: Soft Computing / Ausgabe 4/2012
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-011-0763-7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 4/2012

Lack of associative filters in lattice implication algebras

How landscape ruggedness influences the performance of real-coded algorithms: a comparative study

Rule extraction algorithm from support vector machines and its application to credit screening

Learnable tabu search guided by estimation of distribution for maximum diversity problems

Consensus reaching models of linguistic preference relations based on distance functions

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic