A Simple Proof of McNaughton Theorem
Logic
2011-07-26 v1
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.
Cite
@article{arxiv.1107.4641,
title = {A Simple Proof of McNaughton Theorem},
author = {Eduardo J. Dubuc and Yuri Poveda},
journal= {arXiv preprint arXiv:1107.4641},
year = {2011}
}
Comments
1 and 1/2 pages