Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T23:55:46.207Z Has data issue: false hasContentIssue false

On an Application of Intermediate Logics

Published online by Cambridge University Press:  22 January 2016

Toshio Umezawa*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In [1] I investigated some logics intermediate between intuitionistic and classical predicate logics. The purpose of this paper is to show the possibility of applying some intermediate logics to mathematics namely, to show that some mathematical theorems which are provable in the classical logic but not provable in the intuitionistic logic are provable in some intermediate logics. Let LZ be the logical system obtained from LJ′ a variant of Gentzen’s LJ [2], by adding as axioms all those sequents which can be obtained from a sequent scheme Z by substitution for propositional, predicate, or individual variables.

Type
Research Article
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1960

References

[1] Umezawa, T., On logics intermediate between intuitionistic and classical predicate logics. J. Symbolic Logic 24 (1959), forthcoming.Google Scholar
[2] Gentzen, G., Untersuchungen über das logische Schließen. Math. Zeit. 39 (1934-5), 176210 and 405431.Google Scholar
[3] Heyting, A., Intuitionism. Amsterdam, 1956.Google Scholar
[4] Kleene, S. C., Introduction to metamathematics. Amsterdam-Groningen-New York 1952.Google Scholar
[5] Ohnishi, M., On intuitionistic functional calculus. Osaka Math. J. 5 (1953), 203209.Google Scholar
[6] Kuroda, S., A study on the foundation of analysis (Japanese). Kiso-Kagaku 12 (1949), 112.Google Scholar
[7] Kuroda, S., Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 2 (1951), 3547.CrossRefGoogle Scholar
[8] Kuroda, S., On the intuitionistic and formalistic theory of real numbers. Proc. intern. Congress Math. 1954, Amsterdam, vol. 1.Google Scholar