{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:07Z","timestamp":1748664307353,"version":"3.41.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,8,25]],"date-time":"2015-08-25T00:00:00Z","timestamp":1440460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"MIUR - FIRB","award":["Cagliari: F21J12000140001"],"award-info":[{"award-number":["Cagliari: F21J12000140001"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s00500-015-1828-9","type":"journal-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T08:46:08Z","timestamp":1440405968000},"page":"1443-1454","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Factor varieties"],"prefix":"10.1007","volume":"21","author":[{"given":"Antonino","family":"Salibra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ledda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"1828_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/dema-2013-0320","volume":"44","author":"J Berman","year":"2011","unstructured":"Berman J (2011) Upper bounds on the sizes of finitely generated algebras. Demonstratio Mathematica 44:3","journal-title":"Demonstratio Mathematica"},{"key":"1828_CR2","doi-asserted-by":"crossref","unstructured":"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\u201354","DOI":"10.1109\/ISMVL.1991.130704"},{"key":"1828_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF01190707","volume":"33","author":"RJ Bignall","year":"1995","unstructured":"Bignall RJ, Leech J (1995) Skew Boolean algebras and discriminator varieties. Algebra Universalis 33:387\u2013398","journal-title":"Algebra Universalis"},{"issue":"4","key":"1828_CR4","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok WJ, Pigozzi D (1994) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32(4):545\u2013608","journal-title":"Algebra Universalis"},{"key":"1828_CR5","doi-asserted-by":"crossref","unstructured":"Bloom SL (1976) Varieties of ordered algebras. J Comput Syst Sci 13(2):200\u2013212","DOI":"10.1016\/S0022-0000(76)80030-X"},{"key":"1828_CR6","volume-title":"A course in universal algebra. Graduate text in mathematics","author":"S Burris","year":"1981","unstructured":"Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate text in mathematics, vol 78. Springer, Berlin"},{"key":"1828_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-94-017-1201-9_2","volume-title":"Current research in operational quantum logic: algebras. Categories, languages","author":"G Bruns","year":"2000","unstructured":"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\u201365"},{"issue":"4","key":"1828_CR8","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"M Busaniche","year":"2010","unstructured":"Busaniche M, Cignoli R (2010) Constructive logic with strong negation as a substructural logic. J Logic Comput 20(4):761\u2013793","journal-title":"J Logic Comput"},{"key":"1828_CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s000120050001","volume":"42","author":"I Chajda","year":"1999","unstructured":"Chajda I, Hala\u0161 R, Rosenberg IG (1999) Ideals and the binary discriminator in universal algebra. Algebra Universalis 42:239\u2013251","journal-title":"Algebra Universalis"},{"key":"1828_CR10","volume-title":"Algebraic foundations of many-valued reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli R, D\u2019Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht"},{"issue":"1\u20133","key":"1828_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11225-006-8302-8","volume":"83","author":"R Cignoli","year":"2006","unstructured":"Cignoli R, Torrens A (2006) \u201cFree algebras in varieties of Glivenko MTL-algebras satisfying the equation $$2(x^{2})=(2x)^{2} $$ 2 ( x 2 ) = ( 2 x ) 2 . Studia Logica 83(1\u20133):157\u2013181","journal-title":"Studia Logica"},{"key":"1828_CR12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2140\/pjm.1971.38.29","volume":"38","author":"S Comer","year":"1971","unstructured":"Comer S (1971) Representations by algebras of sections over Boolean spaces. Pac J Math 38:29\u201338","journal-title":"Pac J Math"},{"issue":"3\u20134","key":"1828_CR13","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s00012-015-0320-9","volume":"73","author":"K Cvetko-Vah","year":"2015","unstructured":"Cvetko-Vah K, Salibra A (2015) The connection of skew Boolean algebras and discriminator varieties to Church algebras. Algebra Universalis 73(3\u20134):369\u2013390","journal-title":"Algebra Universalis"},{"issue":"1","key":"1828_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0034-4877(11)60027-X","volume":"68","author":"G Domenech","year":"2011","unstructured":"Domenech G, Freytes H, de Ronde C (2011) Equational characterization for two-valued states in orthomodular quantum systems. Rep Math Phys 68(1):65\u201383","journal-title":"Rep Math Phys"},{"key":"1828_CR15","first-page":"83","volume":"41","author":"E Fried","year":"1979","unstructured":"Fried E, Pixley AF (1979) The dual discriminator function in universal algebra. Acta Sci Math 41:83\u2013100","journal-title":"Acta Sci Math"},{"key":"1828_CR16","volume-title":"Residuated lattices: an algebraic glimpse on substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse on substructural logics. Elsevier, Amsterdam"},{"key":"1828_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2272267","volume":"40","author":"R Goldblatt","year":"1975","unstructured":"Goldblatt R (1975) First-order definability in modal logic. J Symb Logic 40:35\u201340","journal-title":"J Symb Logic"},{"key":"1828_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrect"},{"issue":"1","key":"1828_CR19","first-page":"101","volume":"52","author":"A Ledda","year":"2013","unstructured":"Ledda A, Paoli F, Salibra A (2013) On semi-Boolean like algebras. Acta Univ Palack Olomuc 52(1):101\u2013120","journal-title":"Acta Univ Palack Olomuc"},{"key":"1828_CR20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF01243872","volume":"26","author":"J Leech","year":"1989","unstructured":"Leech J (1989) Skew lattices in rings. Algebra Universalis 26:48\u201372","journal-title":"Algebra Universalis"},{"key":"1828_CR21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02574077","volume":"52","author":"J Leech","year":"1996","unstructured":"Leech J (1996) Recent developments in the theory of skew lattices. Semigroup Forum 52:7\u201324","journal-title":"Semigroup Forum"},{"key":"1828_CR22","unstructured":"Manzonetto G, Salibra A (2008) From $$\\lambda $$ \u03bb -calculus to universal algebra and back. In: MFCS\u201908, vol 5162. LNCS, Berlin, pp 479\u2013490"},{"key":"1828_CR23","volume-title":"Algebras, lattices, varieties","author":"RN McKenzie","year":"1987","unstructured":"McKenzie RN, McNulty GF, Taylor WF (1987) Algebras, lattices, varieties, vol I. Wadsworth Brooks, Monterey"},{"issue":"3","key":"1828_CR24","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1142\/S0218196714500179","volume":"24","author":"F Paoli","year":"2014","unstructured":"Paoli F, Ledda A, Kowalski T, Spinks M (2014) Quasi-discriminator varieties. Int J Algebra Comput 24(3):375\u2013411","journal-title":"Int J Algebra Comput"},{"issue":"9","key":"1828_CR25","doi-asserted-by":"crossref","first-page":"4405","DOI":"10.1090\/S0002-9947-07-04235-3","volume":"359","author":"J Raftery","year":"2007","unstructured":"Raftery J (2007) Representable idempotent commutative residuated lattices. Trans AMS 359(9):4405\u20134427","journal-title":"Trans AMS"},{"issue":"4","key":"1828_CR26","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00340782","volume":"3","author":"M Roddy","year":"1987","unstructured":"Roddy M (1987) Varieties of modular ortholattices. Order 3(4):405\u2013426","journal-title":"Order"},{"issue":"2","key":"1828_CR27","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s00012-013-0223-6","volume":"69","author":"A Salibra","year":"2013","unstructured":"Salibra A, Ledda A, Paoli F, Kowalski T (2013) Boolean-like algebras. Algebra Universalis 69(2):113\u2013138","journal-title":"Algebra Universalis"},{"key":"1828_CR28","unstructured":"Spinks M (2003) On the theory of Pre-BCK algebras. PhD thesis, Monash University"},{"key":"1828_CR29","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1006\/jabr.1996.0268","volume":"184","author":"D Vaggione","year":"1996","unstructured":"Vaggione D (1996) Varieties in which the Pierce stalks are directly indecomposable. J Algebra 184:424\u2013434","journal-title":"J Algebra"},{"key":"1828_CR30","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s000120050147","volume":"43","author":"D Vaggione","year":"2000","unstructured":"Vaggione D (2000) Equational characterization of the quaternary discriminator. Algebra Universalis 43:99\u2013100","journal-title":"Algebra Universalis"},{"key":"1828_CR31","doi-asserted-by":"crossref","unstructured":"van Benthem J (1984) Correspondence theory. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, 1st edn, vol. 2. Reidel, Dordrecht","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"1828_CR32","doi-asserted-by":"crossref","DOI":"10.1515\/9783112733332","volume-title":"Discriminator Algebras, Studien zur Algebra und ihre Anwendungen","author":"H Werner","year":"1978","unstructured":"Werner H (1978) Discriminator Algebras, Studien zur Algebra und ihre Anwendungen, vol 6. Akademie-Verlag, Berlin"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1828-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-015-1828-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1828-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1828-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:57:13Z","timestamp":1748577433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-015-1828-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,25]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["1828"],"URL":"https:\/\/doi.org\/10.1007\/s00500-015-1828-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2015,8,25]]}}}