论文信息 - On universal character of the primitive logic - 字舞流文

On universal character of the primitive logic

[1] W. V. Quine,et al. Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .

[2] S. Kuroda. Intuitionistische Untersuchungen der formalistischen Logik , 1951, Nagoya Mathematical Journal.

[3] C. Peirce. On the Algebra of Logic: A Contribution to the Philosophy of Notation , 1885 .

[4] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .

[5] Haskell B. Curry. The System LD , 1952, J. Symb. Log..

[6] A certain kind of formal theories , 1965 .