Axiomatic extensions of the nilpotent minimum logic

• Autorzy: Gispert J.
• Języki publikacji: EN

Abstrakty

EN

In this paper we characterize, classify and axiomatize all axiomatic extensions of the Nilpotent Minimum Logic. Every axiomatic extension is complete with respect to a class of NM-chains. Given a family of NM-chains the number of elements of the largest odd finite NM-chain in the family and the number of elements of the largest even finite NM-chain in the family turns out to be a complete classifier.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2003
• Tom: No. 37
• Strony: 113--123
• Opis fizyczny: Bibliogr. 7 poz., rys.

Twórcy

autor

Gispert J.

• Facultat de Matematiques, Universitat de Barcelona, Gran Via 585, 08007 Barcelona, Spain,

Bibliografia

• [1] W. Blok, D. Pigozzi, Algebraizable Logics, Mem. Amer. Math. Soc. 396 vol.77, Amer. Math. Soc., Providence 1989.
• [2] F. Esteva, L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124 (2001), pp.271–288.
• [3] J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, Proc. FUZZ-IEEE’95 (1995), pp.2077–2082.
• [4] U. H¨ohle, Commutative residuated l-monoids, in Non-classical logics and their applications to fuzzy subsets. A handbook of the Mathematical foundations of Fuzzy set theory, U. H¨ohle and E.P. Klement (eds), pp.53–106, Kluwer, Dordrecht, 1995.
• [5] P.M. Idziak, Lattice operations in BCK-algebras, Mathematica Japonica 29 (1984), pp.839–846.
• [6] H. Ono, Logic without contraction rule and residuated lattices I, in: Festschrift on the occasion of R.K. Meyer 65th birthday, E. Mares (editor), forthcoming.
• [7] E. Trillas, Sobre negaciones en la teor´ıa de conjuntos difusos, Stochastica III, 1 (1979), pp.47–60