Lemmon-style bases for the systems S1°-S4°

Publisher： Cambridge University Press

E-ISSN： 1943-5886|33|3|458-461

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.33, Iss.3, 1968-10, pp. : 458-461

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

Diffeomorphisms on S1, projective structures and integrable systems

By  

ANZIAM Journal, Vol. 44, Iss. 1, 2002-07 ,pp. : 169-180

Cambridge University Press

Access to resources Recommend Favorite

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

New axiomatizations of S3 and S4

By  

The Journal of Symbolic Logic, Vol. 18, Iss. 4, 1953-12 ,pp. : 309-316

Cambridge University Press

Access to resources Recommend Favorite

An embedding of classical logic in S4

By  

The Journal of Symbolic Logic, Vol. 35, Iss. 4, 1970-12 ,pp. : 529-534

Cambridge University Press

Access to resources Recommend Favorite

1. Foreword – Freeman’s Legacy

By  

Chaos and Complexity Letters, Vol. , Iss. , 2017-01 ,pp. : 99-99

Nova Science Publishers, Inc.

Access to resources Recommend Favorite