A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic

Mundici, Daniele

J. Symbolic Logic, Tome 59 (1994) no. 1, p. 596-602 / Harvested from Project Euclid

Résumé

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

Publié le : 1994-06-14
Classification:

@article{1183744500,
     author = {Mundici, Daniele},
     title = {A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 596-602},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744500}
}

Mundici, Daniele. A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  596-602. http://gdmltest.u-ga.fr/item/1183744500/