$\varepsilon$-calculus based axiom systems for some propositional modal logics.
Melvin Fitting
Source: Notre Dame J. Formal Logic Volume 13, Number 3 (1972), 381-384.
Primary Subjects: 02C10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093890626
Zentralblatt MATH identifier:
0193.29104
Mathematical Reviews number (MathSciNet):
MR0379138
Digital Object Identifier: doi:10.1305/ndjfl/1093890626
Notre Dame Journal of Formal Logic
