Results concerning the decision problem of Lewis's calculi S3 and S6

Publisher： Cambridge University Press

E-ISSN： 1943-5886|14|4|230-236

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.14, Iss.4, 1950-01, pp. : 230-236

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

A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology

By  

The Journal of Symbolic Logic, Vol. 6, Iss. 4, 1941-12 ,pp. : 117-124

Cambridge University Press

Access to resources Recommend Favorite

Decision problems concerning S-arithmetic groups

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 3, 1985-09 ,pp. : 743-772

Cambridge University Press

Access to resources Recommend Favorite

Results concerning same modal systems that contain S2

By  

The Journal of Symbolic Logic, Vol. 29, Iss. 2, 1964-06 ,pp. : 79-87

Cambridge University Press

Access to resources Recommend Favorite

HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC

By  

Bulletin of Symbolic Logic, Vol. 21, Iss. 2, 2015-06 ,pp. : 164-187

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