{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T09:10:24Z","timestamp":1648890624502},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,5,24]],"date-time":"2008-05-24T00:00:00Z","timestamp":1211587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s00153-008-0067-5","type":"journal-article","created":{"date-parts":[[2008,5,23]],"date-time":"2008-05-23T16:54:33Z","timestamp":1211561673000},"page":"25-33","source":"Crossref","is-referenced-by-count":2,"title":["Free \u0141ukasiewicz implication algebras"],"prefix":"10.1007","volume":"47","author":[{"given":"Jos\u00e9 Patricio","family":"D\u00edaz Varela","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,24]]},"reference":[{"key":"67_CR1","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1016\/S0021-8693(02)00085-6","volume":"256","author":"P. Aglian\u00f3","year":"2002","unstructured":"Aglian\u00f3 P., Panti G.: Geometrical methods in Wajsberg hoops. J. Algebra 256, 352\u2013374 (2002)","journal-title":"J. Algebra"},{"key":"67_CR2","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1023\/B:STUD.0000037125.49866.50","volume":"77","author":"J. Berman","year":"2004","unstructured":"Berman J., Blok W.J.: Free Lukasiewicz hoop residuation algebras. Stud. Log. 77, 153\u2013180 (2004)","journal-title":"Stud. Log."},{"key":"67_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"W.J. Blok","year":"1995","unstructured":"Blok W.J., Raftery J.G.: On the quasivariety of BCK-algebras and its subquasivarieties. Algebra Universalis 33, 68\u201390 (1995)","journal-title":"Algebra Universalis"},{"key":"67_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra. Graduate texts in Mathematics, vol. 78","author":"S. Burris","year":"1981","unstructured":"Burris S., Sankappanavar H.P.: A Course in Universal Algebra. Graduate texts in Mathematics, vol. 78. Springer, New York (1981)"},{"key":"67_CR5","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"67_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning. Trends in Logics. vol. 7","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., D\u2019Ottaviano I., Mundici D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logics. vol. 7. Kluwer, Dordrecht (2000)"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"D\u00edaz Varela, J.P., Torrens, A.: Decomposability of free \u0141ukasiewicz implication algebras. Arch. Math. Log. 45, 1011\u20131020 (2006)","DOI":"10.1007\/s00153-006-0023-1"},{"key":"67_CR8","first-page":"5","volume":"8","author":"J.M. Font","year":"1984","unstructured":"Font J.M., Rodriguez A.J., Torrens A.: Wajsberg algebras. Stochastica 8, 5\u201331 (1984)","journal-title":"Stochastica"},{"key":"67_CR9","first-page":"1","volume":"12","author":"Y. Komori","year":"1978","unstructured":"Komori, Y.: The separation theorem of the $${\\aleph_0}$$ -valued propositional logic. Rep. Fac. Sci. Shizouka Univ. 12, 1\u20135 (1978)","journal-title":"Rep. Fac. Sci. Shizouka Univ"},{"key":"67_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0027763000018249","volume":"72","author":"Y. Komori","year":"1978","unstructured":"Komori Y.: Super-\u0141ukasiewicz implicational logics. Nogoya Math. J. 72, 127\u2013133 (1978)","journal-title":"Nogoya Math. J."},{"key":"67_CR11","first-page":"889","volume":"31","author":"D. Mundici","year":"1986","unstructured":"Mundici D.: MV-algebras are categorically equivalent to bounded commutative BCK.-algebras. Math. Jpn. 31, 889\u2013894 (1986)","journal-title":"Math. Jpn."},{"issue":"2","key":"67_CR12","doi-asserted-by":"crossref","first-page":"563","DOI":"10.2307\/2275851","volume":"60","author":"G. Panti","year":"1995","unstructured":"Panti G.: A geometric proof of the completeness of the \u0141ukasiewicz calculus. J. Symb. Log. 60(2), 563\u2013578 (1995)","journal-title":"J. Symb. Log."},{"issue":"1","key":"67_CR13","first-page":"141","volume":"9","author":"G. Panti","year":"1999","unstructured":"Panti G.: Varieties of MV-algebras. Multi Valued Log. 9(1), 141\u2013157 (1999)","journal-title":"Multi Valued Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0067-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0067-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0067-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:42Z","timestamp":1558640202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0067-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,24]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["67"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0067-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,24]]}}}