A modal system properly independent of both the Brouwerian system and $S4$.
G. N. Georgacarakos
Source: Notre Dame J. Formal Logic Volume 19, Number 1
(1978), 101-114.
First Page:
Show
Hide
Primary Subjects:
02C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093888211
Zentralblatt MATH identifier: 0305.02034
Mathematical Reviews number (MathSciNet): MR0476401
Digital Object Identifier: doi:10.1305/ndjfl/1093888211
Notre Dame Journal of Formal Logic
