{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:51Z","timestamp":1773145731881,"version":"3.50.1"},"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]]},"DOI":"10.1215\/00294527-2009-004","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T14:11:17Z","timestamp":1257948677000},"source":"Crossref","is-referenced-by-count":32,"title":["Structural Completeness in Fuzzy Logics"],"prefix":"10.1215","volume":"50","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[]}],"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":[[2024,1,30]],"date-time":"2024-01-30T20:57:16Z","timestamp":1706648236000},"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"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}