{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T11:50:47Z","timestamp":1649073047272},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T00:00:00Z","timestamp":1475452800000},"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,1]]},"DOI":"10.1007\/s00500-016-2345-1","type":"journal-article","created":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T10:07:45Z","timestamp":1475489265000},"page":"17-27","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras"],"prefix":"10.1007","volume":"21","author":[{"given":"Peter","family":"Jipsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,3]]},"reference":[{"key":"2345_CR1","doi-asserted-by":"crossref","first-page":"1144","DOI":"10.1016\/j.apal.2010.02.001","volume":"161","author":"S Aguzzoli","year":"2010","unstructured":"Aguzzoli S, Bova S (2010) The free n-generated BL-algebra. Ann Pure Appl Log 161:1144\u20131170","journal-title":"Ann Pure Appl Log"},{"key":"2345_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Agliano","year":"2003","unstructured":"Agliano P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181:105\u2013129","journal-title":"J Pure Appl Algebra"},{"key":"2345_CR3","doi-asserted-by":"crossref","unstructured":"Aguzzoli S, Bova S, Marra V (2009) Applications of finite duality to locally finite varieties of BL-algebras. In: Artemov S, Nerode A (eds) Proceedings of the 2009 international symposium on logical foundations of computer science, LNCS 5407, pp 1\u201315","DOI":"10.1007\/978-3-540-92687-0_1"},{"key":"2345_CR4","doi-asserted-by":"crossref","unstructured":"Ans\u00f3tegui C, Bofill M, Many\u00e0 F, Villaret M (2012) Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers. In: Proceedings of the IEEE 42nd international symposium on multiple-valued logic. ISMVL, pp 25\u201330","DOI":"10.1109\/ISMVL.2012.63"},{"key":"2345_CR5","doi-asserted-by":"crossref","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":"2345_CR6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.4064\/fm-64-3-257-287","volume":"64","author":"B Bosbach","year":"1969","unstructured":"Bosbach B (1969) Komplement\u00e4re Halbgruppen. Axiomatik und Arithmatik. Fundam Math 64:257\u2013287","journal-title":"Fundam Math"},{"key":"2345_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-69-1-1-14","volume":"69","author":"B Bosbach","year":"1970","unstructured":"Bosbach B (1970) Komplement\u00e4re Halbgruppen. Kongruenzen und Quotienten. Fundam Math 69:1\u201314","journal-title":"Fundam Math"},{"issue":"4","key":"2345_CR8","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1007\/s00500-011-0763-7","volume":"16","author":"M Botur","year":"2012","unstructured":"Botur M, Dvure\u010denskij A, Kowalski T (2012) On normal-valued basic pseudo hoops. Soft Comput 16(4):635\u2013644","journal-title":"Soft Comput"},{"key":"2345_CR9","unstructured":"B\u00fcchi JR, Owens TM (1975) Complemented monoids and hoops, unpublished manuscript"},{"issue":"1","key":"2345_CR10","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-005-6776-4","volume":"80","author":"M Farulewski","year":"2005","unstructured":"Farulewski M (2005) On finite models of the Lambek calculus. Stud Log 80(1):63\u201374","journal-title":"Stud Log"},{"key":"2345_CR11","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in logic and the foundations of mathematics, vol 151. Elsevier, Amsterdam"},{"issue":"1","key":"2345_CR12","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"283","author":"N Galatos","year":"2005","unstructured":"Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283(1):254\u2013291","journal-title":"J Algebra"},{"issue":"3\u20134","key":"2345_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01530787","volume":"12","author":"R H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle R (1994) Many-valued logic and mixed integer programming. Ann Math Artif Intell 12(3\u20134):231\u2013264","journal-title":"Ann Math Artif Intell"},{"issue":"3","key":"2345_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s005000050012","volume":"1","author":"R H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle R (1997) Proof theory of many-valued logic linear optimization logic design. Soft Comput 1(3):107\u2013119","journal-title":"Soft Comput"},{"key":"2345_CR15","doi-asserted-by":"crossref","unstructured":"Hajek P (1998) Metamathematics of fuzzy logic. In: Trends in logic, vol 4. Kluwer, Dortrecht","DOI":"10.1007\/978-94-011-5300-3"},{"key":"2345_CR16","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/s00012-006-1960-6","volume":"55","author":"P Jipsen","year":"2006","unstructured":"Jipsen P, Montagna F (2006) On the structure of generalized BL-algebras. Algebra Univ 55:226\u2013237","journal-title":"Algebra Univ"},{"key":"2345_CR17","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s00012-009-2106-4","volume":"60","author":"P Jipsen","year":"2009","unstructured":"Jipsen P, Montagna F (2009) The Blok\u2013Ferreirim theorem for normal GBL-algebras and its applications. Algebra Univ 60:381\u2013404","journal-title":"Algebra Univ"},{"key":"2345_CR18","doi-asserted-by":"crossref","first-page":"1559","DOI":"10.1016\/j.jpaa.2009.11.015","volume":"214","author":"P Jipsen","year":"2010","unstructured":"Jipsen P, Montagna F (2010) Embedding theorems for classes of GBL-algebras. J Pure Appl Algebra 214:1559\u20131575","journal-title":"J Pure Appl Algebra"},{"key":"2345_CR19","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson B (1967) Algebras whose congruence lattices are distributive. Math Scand 21:110\u2013121","journal-title":"Math Scand"},{"key":"2345_CR20","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D Mundici","year":"1987","unstructured":"Mundici D (1987) Satisfiability in many-valued sentential logic is NP-complete. Theor Comput Sci 52:145\u2013153","journal-title":"Theor Comput Sci"},{"issue":"1","key":"2345_CR21","first-page":"29","volume":"46","author":"JG Raftery","year":"1997","unstructured":"Raftery JG, van Alten CJ (1997) On the algebra of noncommutative residuation: polrims and left residuation algebras. Math Jpn 46(1):29\u201346","journal-title":"Math Jpn"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2345-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2345-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2345-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T06:16:28Z","timestamp":1568441788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2345-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2345"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2345-1","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,3]]}}}