Abstract
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aguzzoli, S.: Geometric and proof-theoretic issues in úukasiewicz propositional logics. Ph.D. Thesis, University of Siena, Siena (1998)
Avron A. (1987). A constructive analysis of RM. J. Symb. Logic 52(4): 939–951
Avron A. and Konikowska B. (2001). Decomposition proof systems for Gödel–Dummett logics. Studia Logica 69(2): 197–219
Baaz, M., Fermüller, C.G.: Analytic calculi for projective logics. In: Murray, N. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX’99, Lecture Notes in Computer Science, vol. 1617, pp. 36–50. Springer, Saratoga Springs (1999)
Baaz M. and Veith H. (1999). Interpolation in fuzzy logic. Arch. Math. Logic 38(7): 461–489
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. Trends in Logic, vol. 7. Kluwer, Dordercht (1999)
Cintula P. and Gerla B. (2004). Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143(1): 89–110
Dershowitz N. and Manna Z. (1979). Proving termination with multiset orderings. Commun. Assoc. Comput. Mach. 22(8): 465–476
Di Nola A. and Lettieri A. (2004). On normal forms in Łukasiewicz logic. Arch. Math. Logic 43(6): 795–823
Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic, vol.~4. Kluwer, Dordercht (1998)
Hájek P., Godo L., Esteva F. and Montagna F. (2003). Hoops and fuzzy logic. J. Logic Comput. 13(4): 532–555
McNaughton R. (1951). A theorem about infinite-valued sentential logic. J. Symb. Logic 16(1): 1–13
Metcalfe G., Olivetti N. and Gabbay D. (2004). Analytic proof calculi for product logics. Arch. Math. Logic 43(7): 859–889
Metcalfe G., Olivetti N. and Gabbay D. (2005). Sequent and hypersequent calculi for Abelian and Łukasiewicz logics. ACM Trans. Comput. Logic 6(3): 578–613
Mundici D. (1994). A constructive proof of McNaughton’s Theorem in infinite-valued logics. J. Symb. Logic 59(2): 596–602
Novák V., Perfilieva I. and Močkoř J. (2000). Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht
Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press, Amsterdam (2001)
Rose A. and Rosser J. (1958). Fragments of many-valued statement calculi. Trans. Ame. Math. Soc. 87: 1–53
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cintula, P., Metcalfe, G. Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Logic 46, 347–363 (2007). https://doi.org/10.1007/s00153-007-0033-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0033-7