{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T23:53:55Z","timestamp":1778025235013,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T00:00:00Z","timestamp":1490832000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00500-017-2570-2","type":"journal-article","created":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T03:48:33Z","timestamp":1490845713000},"page":"2521-2529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Quantum B-algebras: their omnipresence in algebraic logic and beyond"],"prefix":"10.1007","volume":"21","author":[{"given":"Wolfgang","family":"Rump","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,30]]},"reference":[{"key":"2570_CR1","unstructured":"Blok WJ, Ferreirim IMA (1993) Hoops and their implicational reducts (abstract). In: Algebraic methods in logic and in computer science (Warsaw, 1991). Banach Center Publication, 28, Polish Academy Science, Warsaw, pp 219\u2013230"},{"key":"2570_CR2","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"WJ Blok","year":"1997","unstructured":"Blok WJ, Raftery JG (1997) Varieties of commutative residuated integral pomonoids and their residuation subreducts. J Algebra 190:280\u2013328","journal-title":"J Algebra"},{"key":"2570_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF03323308","volume":"5","author":"B Bosbach","year":"1982","unstructured":"Bosbach B (1982) Residuation groupoids. Results Math 5:107\u2013122","journal-title":"Results Math"},{"key":"2570_CR4","unstructured":"B\u00fcchi JR, Owens TM (1975) Complemented monoids and hoops. Manuscript, unpublished"},{"key":"2570_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/malq.200310082","volume":"50","author":"R Cignoli","year":"2004","unstructured":"Cignoli R, Torrens Torrell A (2004) Glivenko like theorems in natural expansions of BCK-logic. Math Log Q 50:111\u2013125","journal-title":"Math Log Q"},{"issue":"1","key":"2570_CR6","first-page":"63","volume":"27","author":"WH Cornish","year":"1982","unstructured":"Cornish WH (1982) BCK-algebras with a supremum. Math Japon 27(1):63\u201373","journal-title":"Math Japon"},{"issue":"8","key":"2570_CR7","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1007\/s00153-009-0151-5","volume":"48","author":"A Dvure\u010denskij","year":"2009","unstructured":"Dvure\u010denskij A, K\u00fchr J (2009) On the structure of linearly ordered pseudo-BCK-algebras. Arch Math Log 48(8):771\u2013791","journal-title":"Arch Math Log"},{"key":"2570_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1215\/S0012-7094-99-10007-X","volume":"100","author":"P Etingof","year":"1999","unstructured":"Etingof P, Schedler T, Soloviev A (1999) Set-theoretical solutions to the quantum Yang\u2013Baxter equation. Duke Math J 100:169\u2013209","journal-title":"Duke Math J"},{"key":"2570_CR9","unstructured":"Ferreirim IMA (1992) On varieties and quasivarieties of hoops and their reducts. Ph.D. Thesis, University of Illinois at Chicago"},{"issue":"1","key":"2570_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.2969\/jmsj\/05310119","volume":"53","author":"IMA Ferreirim","year":"2001","unstructured":"Ferreirim IMA (2001) On a conjecture by Andrzej Wro\u0144ski for BCK-algebras and subreducts of hoops. Sci Math Jpn 53(1):119\u2013132","journal-title":"Sci Math Jpn"},{"key":"2570_CR11","doi-asserted-by":"publisher","unstructured":"Georgescu G, Iorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK algebras. In: Combinatorics, computability and logic (Constan\u0163a, 2001). Springer, London, pp 97\u2013114 Springer Series in Discrete Mathematics and Theoretical Computer Science","DOI":"10.1007\/978-1-4471-0717-0_9"},{"issue":"1\u20132","key":"2570_CR12","first-page":"39","volume":"58","author":"YB Jun","year":"2006","unstructured":"Jun YB, Kim HS, Neggers J (2006) On pseudo-BCI ideals of pseudo-BCI algebras. Mat Vesnik 58(1\u20132):39\u201346","journal-title":"Mat Vesnik"},{"key":"2570_CR13","first-page":"81","volume":"28","author":"T Kowalski","year":"1994","unstructured":"Kowalski T (1994) A syntactic proof of a conjecture of Andrzej Wro\u0144ski. Rep Math Log 28:81\u201386","journal-title":"Rep Math Log"},{"key":"2570_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1215\/S0012-7094-00-10411-5","volume":"104","author":"J-H Lu","year":"2000","unstructured":"Lu J-H, Yan M, Zhu Y-C (2000) On the set-theoretical Yang\u2013Baxter equation. Duke Math J 104:1\u201318","journal-title":"Duke Math J"},{"key":"2570_CR15","doi-asserted-by":"crossref","unstructured":"McCune W (1994) Otter 3.0, reference manual and guide. Technical report ANL-94\/6, Argonne National Laboratory, Argonne, Illinois","DOI":"10.2172\/10129052"},{"key":"2570_CR16","unstructured":"Mulvey CJ (1986) & Second topology conference (Taormina, 1984). Rend Circ Mat Palermo (2) 12:99\u2013104"},{"key":"2570_CR17","unstructured":"Rosenthal KI (1990) Quantales and their applications, Pitman research notes in mathematics series 234. Longman Scientific & Technical, Harlow (copublished in the United States with John Wiley & Sons Inc., New York)"},{"key":"2570_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.aim.2004.03.019","volume":"193","author":"W Rump","year":"2005","unstructured":"Rump W (2005) A decomposition theorem for square-free unitary solutions of the quantum Yang\u2013Baxter equation. Adv Math 193:40\u201355","journal-title":"Adv Math"},{"key":"2570_CR19","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.jalgebra.2006.03.040","volume":"307","author":"W Rump","year":"2007","unstructured":"Rump W (2007) Braces, radical rings, and the quantum Yang\u2013Baxter equation. J Algebra 307:153\u2013170","journal-title":"J Algebra"},{"key":"2570_CR20","doi-asserted-by":"publisher","unstructured":"Rump W (2008a) $$L$$ L -algebras, self-similarity, and $$l$$ l -groups. J Algebra 320(6):2328\u20132348","DOI":"10.1016\/j.jalgebra.2008.05.033"},{"key":"2570_CR21","doi-asserted-by":"publisher","unstructured":"Rump W (2008b) Semidirect products in algebraic logic and solutions of the quantum Yang\u2013Baxter equation. J Algebra Appl 7(4):471\u2013490","DOI":"10.1142\/S0219498808002904"},{"issue":"3\u20134","key":"2570_CR22","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s00012-009-0018-y","volume":"61","author":"W Rump","year":"2009","unstructured":"Rump W (2009) A general Glivenko theorem. Algebra Univers 61(3\u20134):455\u2013473","journal-title":"Algebra Univers"},{"issue":"11","key":"2570_CR23","first-page":"1881","volume":"11","author":"W Rump","year":"2013","unstructured":"Rump W (2013) Quantum B-algebras. Cent Eur J Math 11(11):1881\u20131899","journal-title":"Cent Eur J Math"},{"issue":"3","key":"2570_CR24","first-page":"203","volume":"57","author":"W Rump","year":"2016","unstructured":"Rump W (2016) The completion of a quantum B-algebra. Cah Topol G\u00e9om Diff\u00e9r Cat\u00e9g 57(3):203\u2013228","journal-title":"Cah Topol G\u00e9om Diff\u00e9r Cat\u00e9g"},{"issue":"2","key":"2570_CR25","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1016\/j.apal.2013.10.007","volume":"165","author":"W Rump","year":"2014","unstructured":"Rump W, Yang Y (2014) Non-commutative logical algebras and algebraic quantales. Ann Pure Appl Log 165(2):759\u2013785","journal-title":"Ann Pure Appl Log"},{"issue":"2","key":"2570_CR26","first-page":"319","volume":"33","author":"T Traczyk","year":"1988","unstructured":"Traczyk T (1988) On the structure of BCK-algebras with $$zx\\cdot yx=zy \\cdot xy$$ z x \u00b7 y x = z y \u00b7 x y . Math Japon 33(2):319\u2013324","journal-title":"Math Japon"},{"issue":"1\u20133","key":"2570_CR27","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/s11225-006-8312-6","volume":"83","author":"CJ Alten van","year":"2006","unstructured":"van Alten CJ (2006) On varieties of biresiduation algebras. Stud Log 83(1\u20133):425\u2013445","journal-title":"Stud Log"},{"key":"2570_CR28","doi-asserted-by":"crossref","unstructured":"Wos L, Veroff R (1994) Logical basis for the automation of reasoning: case studies, vol 2. Oxford Science Publication, Oxford University Press, New York, pp 1\u201340. Handbook of logic in artificial intelligence and logic programming","DOI":"10.1093\/oso\/9780198537465.003.0001"},{"issue":"2","key":"2570_CR29","first-page":"187","volume":"30","author":"A Wro\u0144ski","year":"1985","unstructured":"Wro\u0144ski A (1985) An algebraic motivation for BCK-algebras. Math Japon 30(2):187\u2013193","journal-title":"Math Japon"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2570-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2570-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2570-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T09:56:22Z","timestamp":1719136582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2570-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,30]]},"references-count":29,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["2570"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2570-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,30]]}}}