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.
Similar content being viewed by others
Notes
The symbols \(\barwedge \) and \(\veebar \) respectively denote the meta-linguistical conjunction and disjunction in the first order theory of any class of algebras.
References
Berman J (2011) Upper bounds on the sizes of finitely generated algebras. Demonstratio Mathematica 44:3
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–398
Blok WJ, Pigozzi D (1994) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32(4):545–608
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, Berlin
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–65
Busaniche M, Cignoli R (2010) Constructive logic with strong negation as a substructural logic. J Logic Comput 20(4):761–793
Chajda I, Halaš R, Rosenberg IG (1999) Ideals and the binary discriminator in universal algebra. Algebra Universalis 42:239–251
Cignoli R, D’Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
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–181
Comer S (1971) Representations by algebras of sections over Boolean spaces. Pac J Math 38:29–38
Cvetko-Vah K, Salibra A (2015) The connection of skew Boolean algebras and discriminator varieties to Church algebras. Algebra Universalis 73(3–4):369–390
Domenech G, Freytes H, de Ronde C (2011) Equational characterization for two-valued states in orthomodular quantum systems. Rep Math Phys 68(1):65–83
Fried E, Pixley AF (1979) The dual discriminator function in universal algebra. Acta Sci Math 41:83–100
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse on substructural logics. Elsevier, Amsterdam
Goldblatt R (1975) First-order definability in modal logic. J Symb Logic 40:35–40
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrect
Ledda A, Paoli F, Salibra A (2013) On semi-Boolean like algebras. Acta Univ Palack Olomuc 52(1):101–120
Leech J (1989) Skew lattices in rings. Algebra Universalis 26:48–72
Leech J (1996) Recent developments in the theory of skew lattices. Semigroup Forum 52:7–24
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, Monterey
Paoli F, Ledda A, Kowalski T, Spinks M (2014) Quasi-discriminator varieties. Int J Algebra Comput 24(3):375–411
Raftery J (2007) Representable idempotent commutative residuated lattices. Trans AMS 359(9):4405–4427
Roddy M (1987) Varieties of modular ortholattices. Order 3(4):405–426
Salibra A, Ledda A, Paoli F, Kowalski T (2013) Boolean-like algebras. Algebra Universalis 69(2):113–138
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–434
Vaggione D (2000) Equational characterization of the quaternary discriminator. Algebra Universalis 43:99–100
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
Acknowledgments
A. Ledda gratefully acknowledges the support of the Italian Ministry of Scientific Research (MIUR) within the FIRB project “Structures and Dynamics of Knowledge and Cognition”, Cagliari: F21J12000140001.
Conflict of interest
The authors declare that they have no conflicts of interest.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. L. Dalla Chiara, R. Giuntini, E. Negri and S. Smets.
Rights and permissions
About this article
Cite this article
Salibra, A., Ledda, A. & Paoli, F. Factor varieties. Soft Comput 21, 1443–1454 (2017). https://doi.org/10.1007/s00500-015-1828-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-015-1828-9