{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T22:26:07Z","timestamp":1773872767160,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T00:00:00Z","timestamp":1191628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,10,20]]},"DOI":"10.1007\/s11225-007-9078-1","type":"journal-article","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T11:45:51Z","timestamp":1191584751000},"page":"73-98","source":"Crossref","is-referenced-by-count":102,"title":["Basic Hoops: an Algebraic Study of Continuous t-norms"],"prefix":"10.1007","volume":"87","author":[{"given":"P.","family":"Aglian\u00f2","sequence":"first","affiliation":[]},{"given":"I. M. A.","family":"Ferreirim","sequence":"additional","affiliation":[]},{"given":"F.","family":"Montagna","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,6]]},"reference":[{"key":"9078_CR1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s005000050046","volume":"2","author":"R.J. Adillon","year":"1998","unstructured":"Adillon R.J., V\u00e9rdu V. (1998) \u2018On product logic\u2019. Soft Computing 2, 141\u2013146","journal-title":"Soft Computing"},{"key":"9078_CR2","first-page":"397","volume":"64","author":"P. Aglian\u00f2","year":"1998","unstructured":"Aglian\u00f2 P., (1998) \u2018Ternary deductive terms in residuated structures\u2019, Acta Sci. Math. (Szeged) 64, 397\u2013429","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"9078_CR3","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/s000120050020","volume":"37","author":"P. Aglian\u00f2","year":"1997","unstructured":"Aglian\u00f2 P., Ursini A. (1997) \u2018On subtractive varieties III: From ideals to congruences\u2019. Algebra Universalis 37, 296\u2013333","journal-title":"Algebra Universalis"},{"key":"9078_CR4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01182254","volume":"18","author":"K. Amer","year":"1984","unstructured":"Amer K. (1984) \u2018Equationally complete classes of commutative monoids with monus\u2019. Algebra Universalis 18, 129\u2013131","journal-title":"Algebra Universalis"},{"key":"9078_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/-28-1-219-230","volume":"28","author":"W.J. Blok","year":"1993","unstructured":"Blok W.J., Ferreirim I.M.A. (1993) \u2018Hoops and their implicational reducts\u2019 (abstract). Algebraic Methods in Logic and Computer Science, Banach Center Publications 28, 219\u2013230","journal-title":"Algebraic Methods in Logic and Computer Science, Banach Center Publications"},{"key":"9078_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W.J. Blok","year":"2000","unstructured":"Blok W.J., Ferreirim I.M.A. (2000) \u2018On the structure of hoops\u2019. Algebra Universalis 43, 233\u2013257","journal-title":"Algebra Universalis"},{"key":"9078_CR7","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"W.J. Blok","year":"1984","unstructured":"Blok W.J., K\u00f6hler P., Pigozzi D. (1984) \u2018On the structure of varieties with equationally definable principal congruences II\u2019. Algebra Universalis 18, 334\u2013379","journal-title":"Algebra Universalis"},{"key":"9078_CR8","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W.J. Blok","year":"1982","unstructured":"Blok W.J., Pigozzi D. (1982) \u2018On the structure of varieties with equationally definable principal congruences I\u2019. Algebra Universalis 15, 195\u2013227","journal-title":"Algebra Universalis"},{"key":"9078_CR9","doi-asserted-by":"crossref","unstructured":"Blok, W.J., and D. Pigozzi, \u2018Algebraizable logics\u2019, vol. 77 (396), Mem. Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9078_CR10","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"W.J. Blok","year":"1994","unstructured":"Blok W.J., Pigozzi D. (1994) \u2018On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32, 545\u2013608","journal-title":"Algebra Universalis"},{"key":"9078_CR11","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"W.J. Blok","year":"1997","unstructured":"Blok W.J., Raftery J. (1997) \u2018Varieties of commutative residuated integral pomonoids and their residuation subreducts\u2019. J. Algebra 190, 280\u2013328","journal-title":"J. Algebra"},{"key":"9078_CR12","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) \u2018Komplement\u00e4re Halbgruppen. Axiomatik und Arithmetik\u2019. Fund. Math. 64, 257\u2013287","journal-title":"Fund. Math."},{"key":"9078_CR13","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. (1958) \u2018Algebraic analysis of many valued logics\u2019. Trans. Amer. Math. Soc. 88, 467\u2013490","journal-title":"Trans. Amer. Math. Soc."},{"key":"9078_CR14","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., Esteva F., Godo L., Torrens A. (2000) \u2018Basic fuzzy logic is the logic of continuous t-norms and their residua\u2019. Soft Computing 4, 106\u2013112","journal-title":"Soft Computing"},{"key":"9078_CR15","first-page":"45","volume":"5","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., Torrens A. (2000) \u2018An algebraic analysis of product logic\u2019. Mult.-Valued Log. 5, 45\u201365","journal-title":"Mult.-Valued Log."},{"key":"9078_CR16","unstructured":"Cornish, W.H., \u2018A large variety of BCK-algebras\u2019, Math. Japon. 26 (1981), 339\u2013344."},{"key":"9078_CR17","doi-asserted-by":"crossref","unstructured":"Dummett, M., \u2018A propositional calculus with denumerable matrix\u2019, J. Symb. Logic 24 (1959), 97\u2013106","DOI":"10.2307\/2964753"},{"key":"9078_CR18","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","volume":"1","author":"T. Evans","year":"1969","unstructured":"Evans T., (1969) \u2018Some connections between residual finiteness, finite embeddability and the word problem\u2019. J. London Math. Soc. 1, 399\u2013403","journal-title":"J. London Math. Soc."},{"key":"9078_CR19","unstructured":"Ferreirim, I.M.A., On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago, 1992."},{"key":"9078_CR20","unstructured":"Ferreirim, I.M.A., \u2018On a conjecture by Andrzej Wro\u0144ski for BCK-algebras and subreducts of hoops\u2019, Sci. Math. Jpn. 53 (2001)."},{"key":"9078_CR21","first-page":"2077","volume":"4","author":"J.C. Fodor","year":"1995","unstructured":"Fodor J.C. (1995) \u2018Nilpotent minimum and related connectives for fuzzy logic\u2019. Proc. IEEE International Conference on Fuzzy Systems 4, 2077\u20132082","journal-title":"Proc. IEEE International Conference on Fuzzy Systems"},{"key":"9078_CR22","unstructured":"Font, J.M., A.J. Rodriguez, and A. Torrens, \u2018Wajsberg algebras\u2019, Stochastica 8 (1984), 5\u201331."},{"key":"9078_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"H.P. Gumm","year":"1984","unstructured":"Gumm H.P., Ursini A. (1984) \u2018Ideals in universal algebra\u2019. Algebra Universalis 19, 45\u201354","journal-title":"Algebra Universalis"},{"key":"9078_CR24","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of fuzzy logic, Trends in Logic\u2014Studia Logica Library, no. 4, Kluwer Academic Publ., Dordrecht\/ Boston\/ London, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9078_CR25","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., L. Godo, and F. Esteva, \u2018A complete many-valued logic with product conjunction\u2019, Arch. Math. Logic 35 (1996), 191\u2013208.","DOI":"10.1007\/BF01268618"},{"key":"9078_CR26","doi-asserted-by":"crossref","unstructured":"Harrop, R., \u2018On the existence of finite models and decision procedures for propositional calculi\u2019, Proc. Cambridge Philos. Soc. 58 (1958), 1\u201313.","DOI":"10.1017\/S0305004100033120"},{"key":"9078_CR27","doi-asserted-by":"crossref","unstructured":"Hecht, T., and T. Katrin\u00e1k, \u2018Equational classes of relative Stone algebras\u2019, Notre Dame J. Formal Logic 13 (1972), 248\u2013254.","DOI":"10.1305\/ndjfl\/1093894723"},{"key":"9078_CR28","first-page":"69","volume":"29","author":"D. Higgs","year":"1984","unstructured":"Higgs D., (1984) \u2018Dually residuated commutative monoids with identity element do not form an equational class\u2019. Math. Japon. 29, 69\u201375","journal-title":"Math. Japon."},{"key":"9078_CR29","doi-asserted-by":"crossref","first-page":"391","DOI":"10.2307\/2964545","volume":"27","author":"A. Horn","year":"1962","unstructured":"Horn A., (1962) \u2018The separation theorem of Intuicionistic Propositional Calculus\u2019. J. Symb. Log. 27, 391\u2013399","journal-title":"J. Symb. Log."},{"key":"9078_CR30","doi-asserted-by":"crossref","first-page":"26","DOI":"10.3792\/pja\/1195522171","volume":"42","author":"K. Is\u00e9ki","year":"1966","unstructured":"Is\u00e9ki K. (1966) \u2018An algebra related with a propositional calculus\u2019. Proc. Japan Acad. 42, 26\u201329","journal-title":"Proc. Japan Acad."},{"key":"9078_CR31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/1998339","volume":"268","author":"P. K\u00f6hler","year":"1981","unstructured":"K\u00f6hler P. (1981) \u2018Brouwerian semilattices\u2019. Trans. Amer. Math. Soc. 268, 103\u2013126","journal-title":"Trans. Amer. Math. Soc."},{"key":"9078_CR32","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0027763000018249","volume":"72","author":"Y. Komori","year":"1978","unstructured":"Komori Y. (1978) \u2018Super-\u0141ukasiewicz implicational logics\u2019. Nagoya Math. J. 72, 127\u2013133","journal-title":"Nagoya Math. J."},{"key":"9078_CR33","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","volume":"84","author":"Y. Komori","year":"1981","unstructured":"Komori Y. (1981) \u2018Super-\u0141ukasiewicz propositional logics\u2019. Nagoya Math. J. 84, 119\u2013133","journal-title":"Nagoya Math. J."},{"key":"9078_CR34","first-page":"81","volume":"28","author":"T. Kowalski","year":"1994","unstructured":"Kowalski T. (1994) \u2018A syntactic proof of a conjecture of Andrzej Wro\u0144ski\u2019. Rep. Math. Logic 28, 81\u201386","journal-title":"Rep. Math. Logic"},{"key":"9078_CR35","doi-asserted-by":"crossref","unstructured":"Mostert, P.S., and A.L. Shields, \u2018On the structure of semigroups on a compact manifold with boundary\u2019, Ann. of Math. 65 (1957), 117\u2013143.","DOI":"10.2307\/1969668"},{"key":"9078_CR36","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1986","unstructured":"Mundici D., (1986) \u2018Interpretation of AFC*-algebras in \u0141ukasiewicz sentential calculus\u2019. J. Functional Analysis 65, 15\u201363","journal-title":"J. Functional Analysis"},{"key":"9078_CR37","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1305\/ndjfl\/1093893707","volume":"10","author":"W. Nemitz","year":"1969","unstructured":"Nemitz W. (1969) \u2018Semi-boolean lattices\u2019. Notre Dame J. Formal Logic 10, 235\u2013 238","journal-title":"Notre Dame J. Formal Logic"},{"key":"9078_CR38","unstructured":"Pa\u0142asi\u0144ski, M., \u2018Some remarks on BCK-algebras\u2019, Math. Seminar Notes, Kobe Univ. 8 (1980), 137\u2013144."},{"key":"9078_CR39","unstructured":"Pa\u0142asi\u0144ski, M., \u2018Ideals in BCK-algebras which are lower semilattices\u2019, Math. Japon. 26 (1981), 245\u2013250."},{"key":"9078_CR40","unstructured":"Raftery, J.G., On ideals, congruences and extensions of BCK-algebras, Ph.D. thesis, University of Natal, Durban, 1987."},{"key":"9078_CR41","unstructured":"Raftery, J.G., and T. Sturm, \u2018On ideal and congruence lattices of BCKsemilattices\u2019, Math. Japon. 32 (1987), 465\u2013474."},{"key":"9078_CR42","first-page":"211","volume":"28","author":"A. Wro\u0144ski","year":"1983","unstructured":"Wro\u0144ski A. (1983) \u2018BCK-algebras do not form a variety\u2019. Math. Japon. 28, 211\u2013 213","journal-title":"Math. Japon."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9078-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9078-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9078-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:42Z","timestamp":1559384682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9078-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,6]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,10,20]]}},"alternative-id":["9078"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9078-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,6]]}}}