A CONSTRUCTIVE PROOF OF MCNAUGHTONS THEOREM IN INFINITE-VALUED LOGIC

We give a constructive proof of McNaughton's theorem stating that ever y piecewise linear function with integral coefficients is representabl e by some sentence in the infinite-valued calculus of Lukasiewicz. For the proof we only use Minkowski's convex body theorem and the rudimen ts of piecewise linear topology.