Structural Completeness in Fuzzy Logics

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.

Primary Subjects: 03B22, 03B52, 03B47

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

back to Table of Contents

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

previous :: next