Axiom schemes for m-valued propositions calculi

E-ISSN： 1943-5886|10|3|61-82

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.10, Iss.3, 1945-09, pp. : 61-82

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

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

Axiom schemes for m-valued functional calculi of first order. Part II ¹

The Journal of Symbolic Logic, Vol. 16, Iss. 1, 1951-03 ,pp. : 22-34

Cambridge University Press

Access to resources Recommend Favorite

A note on the deductive completeness of m-valued propositional calculi

The Journal of Symbolic Logic, Vol. 14, Iss. 4, 1950-01 ,pp. : 219-225

Cambridge University Press

Access to resources Recommend Favorite

Independence of the primitive symbols of Lewis's calculi of propositions

The Journal of Symbolic Logic, Vol. 8, Iss. 1, 1943-03 ,pp. : 25-26

Cambridge University Press

Access to resources Recommend Favorite

Note on a property of matrices for Lewis and Langford's calculi of propositions

The Journal of Symbolic Logic, Vol. 5, Iss. 4, 1940-12 ,pp. : 150-151

Cambridge University Press

Access to resources Recommend Favorite