Independent axiom schemata for von wright's M

Publisher： Cambridge University Press

E-ISSN： 1943-5886|22|3|241-244

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.22, Iss.3, 1957-09, pp. : 241-244

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

Independent axiom schemata for S5

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. : 255-256

Cambridge University Press

Access to resources Recommend Favorite

Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 3, 1954-09 ,pp. : 201-214

Cambridge University Press

Access to resources Recommend Favorite

Axiom schemes for m-valued propositions calculi

By  

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

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

By  

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 1

By  

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

Cambridge University Press

Access to resources Recommend Favorite