A formal system of first-order predicate calculus with infinitely long expressions
作者： Shoji MAEHARA , Gaisi TAKEUTI
关键词:
摘要:
sci-hub.st 参考文章(8)
H. Rasiowa, Introduction to Metamathematics ,(1952)
D. Scott, Alfred Tarski, The sentential calculus with infinitely long expressions Colloquium Mathematicum. ,vol. 6, pp. 165- 170 ,(1958) , 10.4064/CM-6-1-165-170
Carol R. Karp, Independence proofs in predicate logic with infinitely long expressions Journal of Symbolic Logic. ,vol. 27, pp. 171- 188 ,(1962) , 10.2307/2964112
Gerhard Gentzen, Untersuchungen über das logische Schließen II Mathematische Zeitschrift. ,vol. 39, pp. 176- 210 ,(1935) , 10.1007/BF01201353
Shoji MAEHARA, The predicate calculus with $\epsilon$ -symbol. Journal of the Mathematical Society of Japan. ,vol. 7, pp. 323- 344 ,(1955) , 10.2969/JMSJ/00740323
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
Wilhelm Ackermann, Kurt Schütte. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, (1956) S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 375–387. Journal of Symbolic Logic. ,vol. 22, pp. 297- 298 ,(1957) , 10.2307/2963611
Kurt Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls Monatshefte für Mathematik. ,vol. 37, pp. 349- 360 ,(1930) , 10.1007/BF01696781