Der Interpolationssatz der intuitionistischen Prädikatenlogik
作者： Kurt Sch�tte
DOI: 10.1007/BF01470747
关键词:
摘要:
springer.com
sci-hub.se 参考文章(6)
Shoji MAEHARA, Gaisi TAKEUTI, A formal system of first-order predicate calculus with infinitely long expressions Journal of The Mathematical Society of Japan. ,vol. 13, pp. 357- 370 ,(1961) , 10.2969/JMSJ/01340357
E.W. Beth, On Padoa’s Method in the Theory of Definition Indagationes Mathematicae (Proceedings). ,vol. 56, pp. 330- 339 ,(1953) , 10.1016/S1385-7258(53)50042-3
William Craig, Linear reasoning. A new form of the Herbrand-Gentzen theorem Journal of Symbolic Logic. ,vol. 22, pp. 250- 268 ,(1957) , 10.2307/2963593
William Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory Journal of Symbolic Logic. ,vol. 22, pp. 269- 285 ,(1957) , 10.2307/2963594
H. Arnold Schmidt, Mathematische Gesetze der Logik I The Mathematical Gazette. ,vol. 45, pp. 270- ,(1960) , 10.1007/978-3-642-94780-3
Kurt Sch�tte, Schlußweisen-Kalküle der Prädikatenlogik Mathematische Annalen. ,vol. 122, pp. 47- 65 ,(1950) , 10.1007/BF01342950