{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T12:41:02Z","timestamp":1694608862741},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"16","license":[{"start":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T00:00:00Z","timestamp":1546560000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"The institutional support of CONICET"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s00500-018-03701-w","type":"journal-article","created":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T07:03:18Z","timestamp":1546585398000},"page":"6797-6812","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Symmetric implication zroupoids and weak associative laws"],"prefix":"10.1007","volume":"23","author":[{"given":"Juan M.","family":"Cornejo","sequence":"first","affiliation":[]},{"given":"Hanamantagouda P.","family":"Sankappanavar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,4]]},"reference":[{"key":"3701_CR1","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger PH (1974) Distributive lattices. University of Missouri Press, Columbia"},{"key":"3701_CR2","first-page":"876","volume":"36","author":"BA Bernstein","year":"1934","unstructured":"Bernstein BA (1934) A set of four postulates for Boolean algebras in terms of the implicative operation. Trans Am Math Soc 36:876\u2013884","journal-title":"Trans Am Math Soc"},{"key":"3701_CR3","doi-asserted-by":"crossref","unstructured":"Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York. The free, corrected version (2012) is available online as a PDF file at http:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"3701_CR4","doi-asserted-by":"publisher","unstructured":"Cornejo JM, Sankappanavar HP (2016a) On implicator groupoids. Algebra Univ 77(2), 125\u2013146. https:\/\/doi.org\/10.1007\/s00012-017-0429-0 . arXiv:1509.03774","DOI":"10.1007\/s00012-017-0429-0"},{"issue":"3","key":"3701_CR5","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11225-015-9646-8","volume":"104","author":"JM Cornejo","year":"2016","unstructured":"Cornejo JM, Sankappanavar HP (2016b) Order in implication zroupoids. Stud Log 104(3):417\u2013453. https:\/\/doi.org\/10.1007\/s11225-015-9646-8","journal-title":"Stud Log"},{"key":"3701_CR6","doi-asserted-by":"publisher","first-page":"3139","DOI":"10.1007\/s00500-015-1950-8","volume":"20","author":"JM Cornejo","year":"2016","unstructured":"Cornejo JM, Sankappanavar HP (2016c) Semisimple varieties of implication zroupoids. Soft Comput 20:3139\u20133151. https:\/\/doi.org\/10.1007\/s00500-015-1950-8","journal-title":"Soft Comput"},{"issue":"23","key":"3701_CR7","doi-asserted-by":"publisher","first-page":"6963","DOI":"10.1007\/s00500-016-2421-6","volume":"21","author":"JM Cornejo","year":"2017","unstructured":"Cornejo JM, Sankappanavar HP (2017) On derived algebras and subvarieties of implication zroupoids. Soft Comput 21(23):6963\u20136982. https:\/\/doi.org\/10.1007\/s00500-016-2421-6","journal-title":"Soft Comput"},{"issue":"13","key":"3701_CR8","doi-asserted-by":"publisher","first-page":"4319","DOI":"10.1007\/s00500-017-2869-z","volume":"22","author":"JM Cornejo","year":"2018","unstructured":"Cornejo JM, Sankappanavar HP (2018a) Symmetric implication zroupoids and the identities of Bol\u2013Moufang type. Soft Comput 22(13):4319\u20134333. https:\/\/doi.org\/10.1007\/s00500-017-2869-z","journal-title":"Soft Comput"},{"key":"3701_CR9","first-page":"13","volume":"26","author":"JM Cornejo","year":"2018","unstructured":"Cornejo JM, Sankappanavar HP (2018b) Implication zroupoids and the identities of associative type. Quasigroups Relat Syst 26:13\u201334","journal-title":"Quasigroups Relat Syst"},{"key":"3701_CR10","unstructured":"Cornejo JM, Sankappanavar HP. Varieties of implication zroupoids I (in preparation)"},{"key":"3701_CR11","doi-asserted-by":"crossref","first-page":"187","DOI":"10.5486\/PMD.1969.16.1-4.26","volume":"16","author":"F Fenyves","year":"1969","unstructured":"Fenyves F (1969) Extra loops. II. Publ Math Debr 16:187\u2013192","journal-title":"Publ Math Debr"},{"key":"3701_CR12","doi-asserted-by":"crossref","unstructured":"Gusev SV, Sankappanavar HP and Vernikov BM (2018) The lattice of varieties of implication semigroups (submitted)","DOI":"10.1007\/s11083-019-09503-5"},{"key":"3701_CR13","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1006\/jabr.1996.0321","volume":"185","author":"K Kunen","year":"1996","unstructured":"Kunen K (1996) Quasigroups, loops, and associative laws. J Algebra 185:194\u2013204. https:\/\/doi.org\/10.1006\/jabr.1996.0321","journal-title":"J Algebra"},{"key":"3701_CR14","unstructured":"McCune W (2005\u20132010) Prover9 and Mace4. http:\/\/www.cs.unm.edu\/mccune\/prover9\/"},{"key":"3701_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s00012-005-1941-1","volume":"54","author":"JD Phillips","year":"2005","unstructured":"Phillips JD, Vojtechovsky (2005) The varieties of loops of Bol\u2013Moufang type. Algebra Univ 54:259\u2013271. https:\/\/doi.org\/10.1007\/s00012-005-1941-1","journal-title":"Algebra Univ"},{"key":"3701_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jalgebra.2005.07.011","volume":"293","author":"JD Phillips","year":"2005","unstructured":"Phillips JD, Vojtechovsky (2005) The varieties of quasigroups of Bol\u2013Moufang type: an equational reasoning approach. J Algebra 293:17\u201333","journal-title":"J Algebra"},{"key":"3701_CR17","volume-title":"An algebraic approach to non-classical logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa H (1974) An algebraic approach to non-classical logics. North-Holland, Amsterdam"},{"issue":"1","key":"3701_CR18","first-page":"21","volume":"75","author":"HP Sankappanavar","year":"2012","unstructured":"Sankappanavar HP (2012) De Morgan algebras: new perspectives and applications. Sci Math Jpn 75(1):21\u201350","journal-title":"Sci Math Jpn"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-03701-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-03701-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-03701-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T17:31:32Z","timestamp":1694539892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-03701-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,4]]},"references-count":18,"journal-issue":{"issue":"16","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["3701"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-03701-w","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,4]]},"assertion":[{"value":"4 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"Both authors declare that they have no conflict of interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}