A General Theory of Completeness Proofs
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 科学基礎論学会の論文
- 1970-03-31