Abstract.
Formulas of n variables of Łukasiewicz sentential calculus can be represented, via McNaughton’s theorem, by piecewise linear functions, with integer coefficients, from hypercube [0,1]n to [0,1], called McNaughton functions. As a consequence of the McNaughton representation of a formula it is obtained a canonical form of a formula. Indeed, up to logical equivalence, any formula can be written as an infimum of finite suprema of formulas associated to McNaughton functions which are truncated functions to $[0,1]$ of the restriction to [0,1]n of single hyperplanes, for short, called simple McNaughton functions. In the present paper we will concern with the problem of presenting formulas of Lukasiewicz sentential calculus in normal form. Here we list the main results we obtained: a) we give an axiomatic description of some classes of formulas having the property to be canonically mapped one-to-one onto the class of simple Mc Naughton functions; b) we provide normal forms for Lukasiewicz sentential calculus, making use of formulas defined in a); c) we prove the polynomial complexity of formulas, in normal form, coming from a certain class described as in a); d) we extend the results described in a), b) and c) to Rational Lukasiewicz logic.
Similar content being viewed by others
References
Aguzzoli, S.: The Complexity of McNaughton Functions of One Variable. Adv. Appl. Math. 21, 58–77 (1998)
Aguzzoli, S.: Geometric and Proof-Theoretic Issues in Lukasiewicz Propositional Logics. PhD. thesis, University of Siena, Italy, 1998
Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic 38, 461–489 (1998)
Chang, C.C.: Algebraic Analysis of infinite valued logic. Trans. Am. Math Soc 88, 467–490 (1958)
Chang, C.C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Am. Math. Soc. 93, 74–90 (1959)
Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, Volume~7, Kluwer, Dordrecht, 1999
Di Nola, A., Georgescu, G., Lettieri, A.: Exstending Probabilities to States of MV-algebras. Collegium Logicum, Annals of the Kurt Goedel Society, 1999, pp. 3–30
Di Nola, A., Lettieri, A.: One chain generated varieties of MV-algebras. J. Algebra 225, 667–697 (2000)
Gerla, B.: Rational Łukasiewicz logic and Divisible MV-algebras. Neural Networks World 10, (2001)
Hajek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Kluwer, Dordrecht, 1998
Łukasiewicz, J., Tarski, A.: Untersuchungen uber den Aussagenkalkul, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III 23, 30–50 (1930)
McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symbolic Logic 16, 1–13 (1951)
Mundici, D.: Interpretation of AFC* -algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Mundici, D.: A constructive proof of McNaughton’s Theorem in infinite-valued logics. J. Symbolic Logic 59, 596–602 (1994)
Novak, V., Perfilieva, I., Mockor, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, 1999
Panti, G.: A geometric proof of the completeness of the Łukasiewicz calculus. J. Symbolic Logic 60, 563–578 (1995)
Perfilieva, I.: Normal forms for fuzzy logic functions and their approximation ability. Fuzzy Sets and Systems 124, 371–384 (2001)
Perfilieva, I., Tonis, A.: Functional System in Fuzzy Logic Formal Theory. BUSEFAL 64, 1–53 (1995)
Rose, A., Rosser, J.B.: Fragments of many-valued sentential calculi. Trans. Am. Math. Soc. 87, 74–80 (1958)
Wagner, H.: A new resolution calculus for the infinite-valued propositional logic of Łukasiewicz. To appear on Journal of Applied Non Classical Logic
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 06030, 06035
Revised version: 17 October 2003
Rights and permissions
About this article
Cite this article
Di Nola , A., Lettieri, A. On normal forms in Łukasiewicz logic. Arch. Math. Logic 43, 795–823 (2004). https://doi.org/10.1007/s00153-004-0230-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0230-6