Intuitionistic Predicate Calculus with ε-Symbol
スポンサーリンク
概要
- 論文の詳細を見る
In 1970, Prof. S. Maehara has used a "weakened ε-Theorem", as a lemma for proving a completeness theorem of intuitionistic predicate calculus as an application of his general theory of completeness proofs [5]. The intuitionistic predicate calculus with ε-symbol used in Maehara [5] contains incompletely the ε-terms in the usual sense. In this paper, we treat an intuitionistic predicate calculus with ε-symbol containing all of the usual ε-terms. Our main result (cf. §3) is an extension of Prof. Maehara's weakened intuitionistic ε-Theorem and, in author's opinion, it will be a natural translation of Hilbert-Bernays's second ε-Theorem to the case of intuitionistic logic. I would like to express my gratitude to Prof. S. Maehara who directed my attention to this problem and gave me valuable advice in the course of this work.
- 科学基礎論学会の論文
- 1971-03-31