{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:22:39Z","timestamp":1649168559768},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T00:00:00Z","timestamp":1217289600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s00500-008-0346-4","type":"journal-article","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T13:55:33Z","timestamp":1217253333000},"page":"1007-1012","source":"Crossref","is-referenced-by-count":0,"title":["Factor congruences in BCK-algebras"],"prefix":"10.1007","volume":"13","author":[{"given":"Manuel","family":"Abad","sequence":"first","affiliation":[]},{"given":"J. Patricio","family":"D\u00edaz Varela","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,29]]},"reference":[{"key":"346_CR1","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 WJ (2004) Free \u0141ukasiewicz and Hoop Residuation Algebras. Stud Logica 77: 153\u2013180","journal-title":"Stud Logica"},{"key":"346_CR2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43: 233\u2013257","journal-title":"Algebra Universalis"},{"key":"346_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"WJ Blok","year":"1995","unstructured":"Blok WJ, Raftery JG (1995) On the quasivariety of BCK-algebras and its subquasivarieties. Algebra Universalis 33: 68\u201390","journal-title":"Algebra Universalis"},{"key":"346_CR4","doi-asserted-by":"crossref","unstructured":"Burris S, Sankappanavar HP (1981) A course in universal algebra. In: Graduate texts in mathematics, vol 78. Springer, New York","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"346_CR5","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88: 467\u2013490","journal-title":"Trans Am Math Soc"},{"key":"346_CR6","first-page":"339","volume":"26","author":"WH Cornish","year":"1981","unstructured":"Cornish WH (1981) A large variety of BCK-algebras. Math Japonica 26: 339\u2013344","journal-title":"Math Japonica"},{"key":"346_CR7","unstructured":"Cornish WH (1982) On Is\u00e9ki\u2019s BCK-algebras. Lecture Notes on Pure and Appl. Math. 73:101\u2013122. Marcel Dekker, New York"},{"key":"346_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-003-1793-5","volume":"50","author":"JP D\u00edaz Varela","year":"2003","unstructured":"D\u00edaz Varela JP, Torrens A (2003) Decomposability of free Tarski algebras. Algebra Universalis 50: 1\u20135","journal-title":"Algebra Universalis"},{"key":"346_CR9","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1007\/s00153-006-0023-1","volume":"45","author":"JP D\u00edaz Varela","year":"2006","unstructured":"D\u00edaz Varela JP, Torrens A (2006) Decomposability of free \u0141ukasiewicz implication algebras. Arch Math Logic 45: 1011\u20131020","journal-title":"Arch Math Logic"},{"key":"346_CR10","unstructured":"Diego A (1965) Sobre \u00e1lgebras de Hilbert, Notas de L\u00f3gica Matem\u00e1tica, 12. Instituto de Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca. Argentina 1965. In French: Sur les alg\u00e8bres de Hilbert, Collection de Logique Mathematique, Serie A, 21, Gauthier-Villars, Paris 1966"},{"key":"346_CR11","unstructured":"Ferreirim IMA (1992) On varieties and quasivarieties of hoops and their reducts. Ph.D. Thesis, University of Illinois at Chicago"},{"key":"346_CR12","doi-asserted-by":"crossref","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: 119\u2013132","journal-title":"Sci Math Jpn"},{"issue":"128","key":"346_CR13","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.1023\/B:CMAJ.0000024536.04596.67","volume":"53","author":"O Radomir Halas","year":"2003","unstructured":"Radomir Halas O (2003) Annihilators in BCK-algebras. Czechoslovak Math J 53(128): 1001\u20131007","journal-title":"Czechoslovak Math J"},{"key":"346_CR14","first-page":"1","volume":"23","author":"K Is\u00e9ki","year":"1978","unstructured":"Is\u00e9ki K, Tanaka S (1978) An introduction to the theory of BCK-algebras. Math Japonica 23: 1\u201326","journal-title":"Math Japonica"},{"key":"346_CR15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0027763000018249","volume":"72","author":"Y Komori","year":"1978","unstructured":"Komori Y (1978) Super-\u0141ukasiewicz implicational logics. Nagoya Math J 72: 127\u2013133","journal-title":"Nagoya Math J"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0346-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-008-0346-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0346-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:54Z","timestamp":1559093994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-008-0346-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,29]]},"references-count":15,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["346"],"URL":"https:\/\/doi.org\/10.1007\/s00500-008-0346-4","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,29]]}}}