Systems classically axiomatized and properly contained in Lewis's ${\rm S}3$.
John Thomas Canty
Source: Notre Dame J. Formal Logic Volume 6, Number 4 (1965), 309-318.
Primary Subjects: 02.27
Full-text: Access granted (open access)
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093958339
Zentralblatt MATH identifier:
0163.24404
Mathematical Reviews number (MathSciNet):
MR0219393
Digital Object Identifier: doi:10.1305/ndjfl/1093958339
Notre Dame Journal of Formal Logic
