Structural Completeness in Fuzzy Logics
Petr Cintula and George Metcalfe
Source: Notre Dame J. Formal Logic Volume 50, Number 2
(2009), 153-182.
Abstract
Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.
First Page:
Show
Hide
Keywords: substructural logics; fuzzy logics; structural completeness; admissible rules; primitive variety; residuated lattices
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1242067708
Digital Object Identifier: doi:10.1215/00294527-2009-004
Mathematical Reviews number (MathSciNet): MR2535582
Zentralblatt MATH identifier: 05635608
References
[1] Aglianò, P., I. M. A. Ferreirim, and F. Montagna, "Basic hoops: An algebraic study of continuous t-norms", Studia Logica, vol. 87 (2007), pp. 73--98.
Mathematical Reviews (MathSciNet): MR2349789
Zentralblatt MATH: 1127.03049
Digital Object Identifier: doi:10.1007/s11225-007-9078-1
[2] Agliano, P., and F. Montagna, "Varieties of BL"-algebras. I. General properties, Journal of Pure and Applied Algebra, vol. 181 (2003), pp. 105--29.
Mathematical Reviews (MathSciNet): MR1975295
Zentralblatt MATH: 1034.06009
Digital Object Identifier: doi:10.1016/S0022-4049(02)00329-8
[3] Aguzzoli, S., and S. Bova, "The free n-generated BL"-algebra, forthcoming in Annals of Pure and Applied Logic, (2009).
[4] Bergman, C., "Structural completeness in algebra and logic", pp. 59--73 in Algebraic Logic (Budapest, 1988), edited by H. Andréka, J. D. Monk, and I. Nemeti, vol. 54 of Colloquia Mathematica Societatis János Bolyai, North-Holland, Amsterdam, 1991.
Mathematical Reviews (MathSciNet): MR1153418
Zentralblatt MATH: 0749.08007
[5] Blok, W. J., and I. M. A. Ferreirim, "On the structure of hoops", Algebra Universalis, vol. 43 (2000), pp. 233--57.
Mathematical Reviews (MathSciNet): MR1774741
Zentralblatt MATH: 1012.06016
Digital Object Identifier: doi:10.1007/s000120050156
[6] Blok, W. J., and D. Pigozzi, "Algebraizable logics", Memoirs of the American Mathematical Society, vol. 77 (1989).
Mathematical Reviews (MathSciNet): MR973361
Zentralblatt MATH: 0664.03042
[7] Blok, W. J., and J. G. Raftery, "Varieties of commutative residuated integral pomonoids and their residuation subreducts", Journal of Algebra, vol. 190 (1997), pp. 280--328.
Mathematical Reviews (MathSciNet): MR1441951
Zentralblatt MATH: 0872.06007
Digital Object Identifier: doi:10.1006/jabr.1996.6834
[8] Blount, K., and C. Tsinakis, "The structure of residuated lattices", International Journal of Algebra and Computation, vol. 13 (2003), pp. 437--61.
Mathematical Reviews (MathSciNet): MR2022118
Zentralblatt MATH: 1048.06010
Digital Object Identifier: doi:10.1142/S0218196703001511
[9] Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.
Mathematical Reviews (MathSciNet): MR648287
Zentralblatt MATH: 0478.08001
[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 Annals of Pure and Applied Logic, (2009).
Mathematical Reviews (MathSciNet): MR2525974
Zentralblatt MATH: 1168.03052
Digital Object Identifier: doi:10.1016/j.apal.2009.01.012
[11] Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic---Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
Mathematical Reviews (MathSciNet): MR1828895
Zentralblatt MATH: 0984.03002
[12] Dzik, W., "Unification in some substructural logics of BL"-algebras and hoops, Reports on Mathematical Logic, (2008), pp. 73--83.
Mathematical Reviews (MathSciNet): MR2417723
Zentralblatt MATH: pre05289970
[13] Dzik, W., and A. Wroński, "Structural completeness of Gödel's and Dummett's propositional calculi", Studia Logica, vol. 32 (1973), pp. 69--73.
Mathematical Reviews (MathSciNet): MR0347579
Zentralblatt MATH: 0345.02036
Digital Object Identifier: doi:10.1007/BF02123815
[14] Esteva, F., and L. Godo, "Monoidal t-norm based logic: Towards a logic for left-continuous t-norms", Fuzzy Sets and Systems, vol. 124 (2001), pp. 271--88.
Mathematical Reviews (MathSciNet): MR1860848
Zentralblatt MATH: 0994.03017
Digital Object Identifier: doi:10.1016/S0165-0114(01)00098-7
[15] Esteva, F., L. Godo, P. Hájek, and F. Montagna, "Hoops and fuzzy logic", Journal of Logic and Computation, vol. 13 (2003), pp. 531--55.
Mathematical Reviews (MathSciNet): MR1999962
Zentralblatt MATH: 1039.03016
Digital Object Identifier: doi:10.1093/logcom/13.4.532
[16] Ferreirim, I. M. A., On Varieties and Quasivarieties of Hoops and Their Reducts, Ph.D. thesis, University of Illinois at Chicago, Chicago, 1992.
[17] Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 2007.
Mathematical Reviews (MathSciNet): MR2531579
Zentralblatt MATH: 1171.03001
[18] Hájek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic---Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 1998.
Mathematical Reviews (MathSciNet): MR1900263
Zentralblatt MATH: 0937.03030
[19] Makinson, D., "A characterization of structural completeness of a structural consequence operation", Reports on Mathematical Logic, (1976), pp. 99--101.
Mathematical Reviews (MathSciNet): MR0465840
Zentralblatt MATH: 0358.02063
[20] Metcalfe, G., and F. Montagna, "Substructural fuzzy logics", The Journal of Symbolic Logic, vol. 72 (2007), pp. 834--64.
Mathematical Reviews (MathSciNet): MR2354903
Zentralblatt MATH: 1139.03017
Digital Object Identifier: doi:10.2178/jsl/1191333844
Project Euclid: euclid.jsl/1191333844
[21] Montagna, F., "Generating the variety of BL"-algebras, Soft Computing, vol. 9 (2005), pp. 869--74.
Zentralblatt MATH: 1093.03039
[22] Olson, J. S., J. G. Raftery, and C. J. van Alten, "Structural completeness in substructural logics", Logic Journal of the Interest Group of Pure and Applied Logic, vol. 16 (2008), pp. 455--95.
Mathematical Reviews (MathSciNet): MR2453364
Zentralblatt MATH: pre05378863
Digital Object Identifier: doi:10.1093/jigpal/jzn014
[23] Pogorzelski, W. A., "Structural completeness of the propositional calculus", Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 19 (1971), pp. 349--51.
Mathematical Reviews (MathSciNet): MR0302398
Zentralblatt MATH: 0214.00704
[24] Prucnal, T., "On the structural completeness of some pure implicational propositional calculi", Studia Logica, vol. 30 (1972), pp. 45--50.
Mathematical Reviews (MathSciNet): MR0317878
Zentralblatt MATH: 0268.02013
Digital Object Identifier: doi:10.1007/BF02120824
[25] Prucnal, T., and A. Wroński, "An algebraic characterization of the notion of structural completeness", Bulletin of the Section of Logic, vol. 3 (1974), pp. 30--33.
Mathematical Reviews (MathSciNet): MR0403950
[26] Rybakov, V. V., Admissibility of Logical Inference Rules, vol. 136 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1997.
Mathematical Reviews (MathSciNet): MR1454360
Zentralblatt MATH: 0872.03002
[27] Tokarz, M., "On structural completeness of Łukasiewicz's logics", Studia Logica, vol. 30 (1972), pp. 53--57.
Mathematical Reviews (MathSciNet): MR0316216
Zentralblatt MATH: 0288.02015
Digital Object Identifier: doi:10.1007/BF02120827
[28] Wójcicki, R., Theory of Logical Calculi. Basic Theory of Consequence Operations, vol. 199 of Synthese Library, Kluwer Academic Publishers, Dordrecht, 1988.
Mathematical Reviews (MathSciNet): MR1009788
Zentralblatt MATH: 0682.03001
[29] Wojtylak, P., "A new proof of structural completeness of Łukasiewicz's logics", Bulletin of the Section of Logic, vol. 5 (1976), pp. 145--52.
Mathematical Reviews (MathSciNet): MR0505253
[30] Wojtylak, P., "On structural completeness of the infinite-valued Łukasiewicz's propositional calculus", Bulletin of the Section of Logic, vol. 5 (1976), pp. 153--57.
Mathematical Reviews (MathSciNet): MR0505254
[31] Wojtylak, P., "On structural completeness of many-valued logics", Studia Logica, vol. 37 (1978), pp. 139--47.
Mathematical Reviews (MathSciNet): MR503094
Zentralblatt MATH: 0393.03011
Digital Object Identifier: doi:10.1007/BF02124799
[32] Wroński, A., "On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic", Bulletin of the Section of Logic, vol. 15 (1986), pp. 48--51.
Mathematical Reviews (MathSciNet): MR878307
Zentralblatt MATH: 0624.03046
Notre Dame Journal of Formal Logic
