Yuri Poveda

  1. A Simple Proof of McNaughton Theorem.

    Authors: Eduardo J. Dubuc, Yuri Poveda
    Subjects: Logic
    Abstract

    In this note we exhibit a very simple proof of McNaughton Theorem, almost
    right out of the definitions, and at the same time we observe that this theorem
    does not depend of Chang's completeness theorem.

Syndicate content