论文信息 - Formalna teoria wartości logicznych I - 字舞流文

Formalna teoria wartości logicznych I

Roman Suszko | R. Suszko

[1] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .

[2] J. Neumann. Zur Hilbertschen Beweistheorie , 1927 .

[3] P. Bernays,et al. Grundlagen der Mathematik , 1934 .

[4] Willard Van Orman Quine. Definition of substitution , 1936 .

[5] A. R. Turquette,et al. Axiom schemes for m-valued propositions calculi , 1945, Journal of Symbolic Logic (JSL).

[6] J. Łoś,et al. An algebraic proof of completeness for the two-valued propositional calculus , 1951 .