论文信息 - Dialogspiele als Semantische Grundlage von Logikkalkülen - 字舞流文

Dialogspiele als Semantische Grundlage von Logikkalkülen

Kuno Lorenz | K. Lorenz

[1] J. L. Mackie. The Rules of Natural Deduction , 1958 .

[2] Haskell B. Curry,et al. Foundations of Mathematical Logic , 1964 .

[3] E. Beth,et al. The Foundations of Mathematics , 1961 .

[4] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[5] Wolfgang Stegmüller,et al. Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz. , 1964 .

[6] J. C. C. McKinsey,et al. Proof of the independence of the primitive symbols of Heyting's calculus of propositions , 1939, Journal of Symbolic Logic.

[7] F. Ramsey. The foundations of mathematics , 1932 .