On the decidability of monadic first order logic in sequent calculus
In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its completeness for finite models) is given. Theproof is obtained by adapting to the case of monadic logic, the proof given byKetonen/Schütte for first-order logic completeness (method of “construction of ther...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
2016-12-01
|
| Series: | O Que Nos Faz Pensar |
| Online Access: | http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/515 |