nach oben

Soft Computing

Erschienen in:

25.08.2015 | Focus

Factor varieties

verfasst von: Antonino Salibra, Antonio Ledda, Francesco Paoli

Erschienen in: Soft Computing | Ausgabe 6/2017

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

The universal algebraic literature is rife with generalisations of discriminator varieties, whereby several investigators have tried to preserve in more general settings as much as possible of their structure theory. Here, we modify the definition of discriminator algebra by having the switching function project onto its third coordinate in case the ordered pair of its first two coordinates belongs to a designated relation (not necessarily the diagonal relation). We call these algebras factor algebras and the varieties they generate factor varieties. Among other things, we provide an equational description of these varieties and match equational conditions involving the factor term with properties of the associated factor relation. Factor varieties include, apart from discriminator varieties, several varieties of algebras from quantum and fuzzy logics.

Vorheriger Artikel Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

Nächster Artikel Effectiveness of the quantum-mechanical formalism in cognitive modeling

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

The symbols \(\barwedge \) and \(\veebar \) respectively denote the meta-linguistical conjunction and disjunction in the first order theory of any class of algebras.

Berman J (2011) Upper bounds on the sizes of finitely generated algebras. Demonstratio Mathematica 44:3MathSciNetMATH

Bignall R (1991) A non-commutative multiple-valued logic. In: Logic multiple-valued (ed) 1991. BC, proceedings of the twenty-first international symposium, Victoria, pp 49–54

Bignall RJ, Leech J (1995) Skew Boolean algebras and discriminator varieties. Algebra Universalis 33:387–398MathSciNetCrossRefMATH

Blok WJ, Pigozzi D (1994) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32(4):545–608MathSciNetCrossRefMATH

Bloom SL (1976) Varieties of ordered algebras. J Comput Syst Sci 13(2):200–212

Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate text in mathematics, vol 78. Springer, BerlinMATH

Bruns G, Harding J (2000) Algebraic aspects of orthomodular lattices. In: Coecke B et al (eds) Current research in operational quantum logic: algebras. Categories, languages. Kluwer, Dordrecht, pp 37–65CrossRef

Busaniche M, Cignoli R (2010) Constructive logic with strong negation as a substructural logic. J Logic Comput 20(4):761–793MathSciNetCrossRefMATH

Chajda I, Halaš R, Rosenberg IG (1999) Ideals and the binary discriminator in universal algebra. Algebra Universalis 42:239–251MathSciNetCrossRefMATH

Cignoli R, D’Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Kluwer, DordrechtMATH

Cignoli R, Torrens A (2006) “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2})=(2x)^{2} \). Studia Logica 83(1–3):157–181MathSciNetCrossRefMATH

Comer S (1971) Representations by algebras of sections over Boolean spaces. Pac J Math 38:29–38MathSciNetCrossRefMATH

Cvetko-Vah K, Salibra A (2015) The connection of skew Boolean algebras and discriminator varieties to Church algebras. Algebra Universalis 73(3–4):369–390MathSciNetCrossRefMATH

Domenech G, Freytes H, de Ronde C (2011) Equational characterization for two-valued states in orthomodular quantum systems. Rep Math Phys 68(1):65–83MathSciNetCrossRefMATH

Fried E, Pixley AF (1979) The dual discriminator function in universal algebra. Acta Sci Math 41:83–100MathSciNetMATH

Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse on substructural logics. Elsevier, AmsterdamMATH

Goldblatt R (1975) First-order definability in modal logic. J Symb Logic 40:35–40MathSciNetCrossRefMATH

Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, DordrectCrossRefMATH

Ledda A, Paoli F, Salibra A (2013) On semi-Boolean like algebras. Acta Univ Palack Olomuc 52(1):101–120MathSciNetMATH

Leech J (1989) Skew lattices in rings. Algebra Universalis 26:48–72MathSciNetCrossRefMATH

Leech J (1996) Recent developments in the theory of skew lattices. Semigroup Forum 52:7–24MathSciNetCrossRefMATH

Manzonetto G, Salibra A (2008) From \(\lambda \) -calculus to universal algebra and back. In: MFCS’08, vol 5162. LNCS, Berlin, pp 479–490

McKenzie RN, McNulty GF, Taylor WF (1987) Algebras, lattices, varieties, vol I. Wadsworth Brooks, MontereyMATH

Paoli F, Ledda A, Kowalski T, Spinks M (2014) Quasi-discriminator varieties. Int J Algebra Comput 24(3):375–411MathSciNetCrossRefMATH

Raftery J (2007) Representable idempotent commutative residuated lattices. Trans AMS 359(9):4405–4427MathSciNetCrossRefMATH

Roddy M (1987) Varieties of modular ortholattices. Order 3(4):405–426MathSciNetCrossRefMATH

Salibra A, Ledda A, Paoli F, Kowalski T (2013) Boolean-like algebras. Algebra Universalis 69(2):113–138MathSciNetCrossRefMATH

Spinks M (2003) On the theory of Pre-BCK algebras. PhD thesis, Monash University

Vaggione D (1996) Varieties in which the Pierce stalks are directly indecomposable. J Algebra 184:424–434MathSciNetCrossRefMATH

Vaggione D (2000) Equational characterization of the quaternary discriminator. Algebra Universalis 43:99–100MathSciNetCrossRefMATH

van Benthem J (1984) Correspondence theory. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, 1st edn, vol. 2. Reidel, Dordrecht

Werner H (1978) Discriminator Algebras, Studien zur Algebra und ihre Anwendungen, vol 6. Akademie-Verlag, Berlin

Titel: Factor varieties
verfasst von: Antonino Salibra
Antonio Ledda
Francesco Paoli
Publikationsdatum: 25.08.2015
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 6/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-015-1828-9

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 6/2017

Topology-based analysis of self-organizing maps for time series prediction

Low-rank representation with graph regularization for subspace clustering

Preface

The rhythm of quantum algorithms

A novel harmony search algorithm with gaussian mutation for multi-objective optimization

Modeling and predicting the user next input by Bayesian reasoning