On the rules of proof in the pure functional calculus of the first order

E-ISSN： 1943-5886|16|2|107-111

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.16, Iss.2, 1951-06, pp. : 107-111

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The completeness of the first-order functional calculus

The Journal of Symbolic Logic, Vol. 14, Iss. 3, 1949-09 ,pp. : 159-166

Cambridge University Press

Access to resources Recommend Favorite

A Functional calculus of first order based on strict implication

The Journal of Symbolic Logic, Vol. 11, Iss. 1, 1946-03 ,pp. : 1-16

Cambridge University Press

Access to resources Recommend Favorite

The deduction theorem in a functional calculus of first order based on strict implication

The Journal of Symbolic Logic, Vol. 11, Iss. 4, 1946-12 ,pp. : 115-118

Cambridge University Press

Access to resources Recommend Favorite

Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility

The Journal of Symbolic Logic, Vol. 13, Iss. 4, 1948-12 ,pp. : 177-192

Cambridge University Press

Access to resources Recommend Favorite

The identity of individuals in a strict functional calculus of second order

The Journal of Symbolic Logic, Vol. 12, Iss. 1, 1947-03 ,pp. : 12-15

Cambridge University Press

Access to resources Recommend Favorite