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 ...

Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

This is a preview. Log in through your library . This monthly journal, begun in 1950, is devoted entirely to research in pure and applied mathematics, principally to the publication of original papers ...