著者

MAEHARA Shôji

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.3, no.5, pp.242-256, 1970

被引用文献数

4

---

The purpose of the following treatise is to remark the fact that the method developed in Schutte [6] is able to give a unification to completeness proofs for several formal systems of logic. Especially in treatments on the predicate logic, the second ε-Theorem in the sense of Hilbert-Bernays [2] is used effectively. In this treatise, we comment on the classical and the intuitionistic logic only. Because, application to other logics, in author's opinion, is easy now and peculiarly needed ideas concerning some modal logics are already shown in Schutte's book [7]. I would like to express my thanks to Prof. G. Takeuti who gave me a remark concerning the fact that the ε-Theorem is useful to the completeness proof of the classical predicate calculus and to Dr. D. P. McCullough who got me interested in those problems by sending me his unpublished papers.