Formulas of n variables of Lukasiewicz 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 McNaughton representation, a canonical form of a formula is obtained. 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 the authors concern with the problem of presenting formulas of Lukasiewicz sentential calculus in normal from. The main results are: a) 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) a normal form for Lukasiewicz sentential calculus, making use of formulas defined in (a); c) the polynomial complexity of formulas, in normal form, coming from a certain class described as in (a) is proved; d) the results described in (a), (b) and (c) are extended to Rational Lukasiewicz logic.
Titolo: | On Normal Forms in Lukasiewicz's Logic | |
Autori: | ||
Data di pubblicazione: | 2004 | |
Rivista: | ||
Abstract: | Formulas of n variables of Lukasiewicz sentential calculus can be represented, via McNaughton's t...heorem, by piecewise linear functions, with integer coefficients, from hypercube [0,1]n to [0,1], called McNaughton functions. As a consequence of McNaughton representation, a canonical form of a formula is obtained. 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 the authors concern with the problem of presenting formulas of Lukasiewicz sentential calculus in normal from. The main results are: a) 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) a normal form for Lukasiewicz sentential calculus, making use of formulas defined in (a); c) the polynomial complexity of formulas, in normal form, coming from a certain class described as in (a) is proved; d) the results described in (a), (b) and (c) are extended to Rational Lukasiewicz logic. | |
Handle: | http://hdl.handle.net/11588/204523 | |
Appare nelle tipologie: | 1.1 Articolo in rivista |