Matteo Tesi

A Syntactic Proof of the Decidability of First-Order Monadic Logic

2024 · Bulletin of the Section of Logic

Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce …