{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T23:49:49Z","timestamp":1791589789113,"version":"4.3.4"},"reference-count":32,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,4,1]]},"abstract":"<jats:p>Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics\u2014including \u0141ukasiewicz Logic, G\u00f6del Logic, Product Logic, and H\u00e1jek's Basic Logic\u2014and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.<\/jats:p>","DOI":"10.1215\/00294527-2009-004","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T09:11:17Z","timestamp":1257930677000},"page":"153-182","source":"Crossref","is-referenced-by-count":34,"title":["Structural Completeness in Fuzzy Logics"],"prefix":"10.1215","volume":"50","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Aglian\u00f2, P., I. M. A. Ferreirim, and F. Montagna, \"Basic hoops: An algebraic study of continuous t-norms\", <i>Studia Logica<\/i>, vol. 87 (2007), pp. 73--98.","DOI":"10.1007\/s11225-007-9078-1"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Agliano, P., and F. Montagna, \"Varieties of BL\"-algebras. I. General properties, <i>Journal of Pure and Applied Algebra<\/i>, vol. 181 (2003), pp. 105--29.","DOI":"10.1016\/S0022-4049(02)00329-8"},{"key":"4","unstructured":"[4] Bergman, C., \"Structural completeness in algebra and logic\", pp. 59--73 in <i>Algebraic Logic (Budapest, 1988)<\/i>, edited by H. Andr\u00e9ka, J. D. Monk, and I. Nemeti, vol. 54 of <i>Colloquia Mathematica Societatis J\u00e1nos Bolyai<\/i>, North-Holland, Amsterdam, 1991."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Blok, W. J., and I. M. A. Ferreirim, \"On the structure of hoops\", <i>Algebra Universalis<\/i>, vol. 43 (2000), pp. 233--57.","DOI":"10.1007\/s000120050156"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Blok, W. J., and D. Pigozzi, \"Algebraizable logics\", <i>Memoirs of the American Mathematical Society<\/i>, vol. 77 (1989).","DOI":"10.1090\/memo\/0396"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Blok, W. J., and J. G. Raftery, \"Varieties of commutative residuated integral pomonoids and their residuation subreducts\", <i>Journal of Algebra<\/i>, vol. 190 (1997), pp. 280--328.","DOI":"10.1006\/jabr.1996.6834"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Blount, K., and C. Tsinakis, \"The structure of residuated lattices\", <i>International Journal of Algebra and Computation<\/i>, vol. 13 (2003), pp. 437--61.","DOI":"10.1142\/S0218196703001511"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Burris, S., and H. P. Sankappanavar, <i>A Course in Universal Algebra<\/i>, vol. 78 of <i>Graduate Texts in Mathematics<\/i>, Springer-Verlag, New York, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Cintula, P., F. Esteva, J. Gispert, L. Godo, F. Montagna, and C. Noguera, \"Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies\", forthcoming in <i>Annals of Pure and Applied Logic<\/i>, (2009).","DOI":"10.1016\/j.apal.2009.01.012"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Czelakowski, J., <i>Protoalgebraic Logics<\/i>, vol. 10 of <i>Trends in Logic---Studia Logica Library<\/i>, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"12","unstructured":"[12] Dzik, W., \"Unification in some substructural logics of BL\"-algebras and hoops, <i>Reports on Mathematical Logic<\/i>, (2008), pp. 73--83."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Dzik, W., and A. Wro\u0144ski, \"Structural completeness of G\u00f6del's and Dummett's propositional calculi\", <i>Studia Logica<\/i>, vol. 32 (1973), pp. 69--73.","DOI":"10.1007\/BF02123815"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Esteva, F., and L. Godo, \"Monoidal t-norm based logic: Towards a logic for left-continuous t-norms\", <i>Fuzzy Sets and Systems<\/i>, vol. 124 (2001), pp. 271--88.","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Esteva, F., L. Godo, P. H\u00e1jek, and F. Montagna, \"Hoops and fuzzy logic\", <i>Journal of Logic and Computation<\/i>, vol. 13 (2003), pp. 531--55.","DOI":"10.1093\/logcom\/13.4.532"},{"key":"16","unstructured":"[16] Ferreirim, I. M. A., <i>On Varieties and Quasivarieties of Hoops and Their Reducts<\/i>, Ph.D. thesis, University of Illinois at Chicago, Chicago, 1992."},{"key":"17","unstructured":"[17] Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, <i>Residuated Lattices: An Algebraic Glimpse at Substructural Logics<\/i>, vol. 151 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, Elsevier, Amsterdam, 2007."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] H\u00e1jek, P., <i>Metamathematics of Fuzzy Logic<\/i>, vol. 4 of <i>Trends in Logic---Studia Logica Library<\/i>, Kluwer Academic Publishers, Dordrecht, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"19","unstructured":"[19] Makinson, D., \"A characterization of structural completeness of a structural consequence operation\", <i>Reports on Mathematical Logic<\/i>, (1976), pp. 99--101."},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Metcalfe, G., and F. Montagna, \"Substructural fuzzy logics\", <i>The Journal of Symbolic Logic<\/i>, vol. 72 (2007), pp. 834--64.","DOI":"10.2178\/jsl\/1191333844"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Montagna, F., \"Generating the variety of BL\"-algebras, <i>Soft Computing<\/i>, vol. 9 (2005), pp. 869--74.","DOI":"10.1007\/s00500-004-0450-z"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Olson, J. S., J. G. Raftery, and C. J. van Alten, \"Structural completeness in substructural logics\", <i>Logic Journal of the Interest Group of Pure and Applied Logic<\/i>, vol. 16 (2008), pp. 455--95.","DOI":"10.1093\/jigpal\/jzn014"},{"key":"23","unstructured":"[23] Pogorzelski, W. A., \"Structural completeness of the propositional calculus\", <i>Bulletin de l'Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques<\/i>, vol. 19 (1971), pp. 349--51."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Prucnal, T., \"On the structural completeness of some pure implicational propositional calculi\", <i>Studia Logica<\/i>, vol. 30 (1972), pp. 45--50.","DOI":"10.1007\/BF02120824"},{"key":"25","unstructured":"[25] Prucnal, T., and A. Wro\u0144ski, \"An algebraic characterization of the notion of structural completeness\", <i>Bulletin of the Section of Logic<\/i>, vol. 3 (1974), pp. 30--33."},{"key":"26","unstructured":"[26] Rybakov, V. V., <i>Admissibility of Logical Inference Rules<\/i>, vol. 136 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1997."},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Tokarz, M., \"On structural completeness of \u0141ukasiewicz's logics\", <i>Studia Logica<\/i>, vol. 30 (1972), pp. 53--57.","DOI":"10.1007\/BF02120827"},{"key":"28","unstructured":"[28] W\u00f3jcicki, R., <i>Theory of Logical Calculi. Basic Theory of Consequence Operations<\/i>, vol. 199 of <i>Synthese Library<\/i>, Kluwer Academic Publishers, Dordrecht, 1988."},{"key":"29","unstructured":"[29] Wojtylak, P., \"A new proof of structural completeness of \u0141ukasiewicz's logics\", <i>Bulletin of the Section of Logic<\/i>, vol. 5 (1976), pp. 145--52."},{"key":"30","unstructured":"[30] Wojtylak, P., \"On structural completeness of the infinite-valued \u0141ukasiewicz's propositional calculus\", <i>Bulletin of the Section of Logic<\/i>, vol. 5 (1976), pp. 153--57."},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Wojtylak, P., \"On structural completeness of many-valued logics\", <i>Studia Logica<\/i>, vol. 37 (1978), pp. 139--47.","DOI":"10.1007\/BF02124799"},{"key":"32","unstructured":"[32] Wro\u0144ski, A., \"On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic\", <i>Bulletin of the Section of Logic<\/i>, vol. 15 (1986), pp. 48--51."},{"key":"3","unstructured":"[3] Aguzzoli, S., and S. Bova, \"The free n-generated BL\"-algebra, forthcoming in <i>Annals of Pure and Applied Logic<\/i>, (2009)."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T22:54:48Z","timestamp":1791586488000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-2\/Structural-Completeness-in-Fuzzy-Logics\/10.1215\/00294527-2009-004.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,1]]},"references-count":32,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2009,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-004","relation":{},"ISSN":["0029-4527","1939-0726"],"issn-type":[{"value":"0029-4527","type":"print"},{"value":"1939-0726","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}