BCK and BCI logics, condensed detachment and the $2$-property.
J. Roger Hindley
Source: Notre Dame J. Formal Logic Volume 34, Number 2 (1993), 231-250.
Primary Subjects: 03B60
Secondary Subjects: 03B40
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093634655
Zentralblatt MATH identifier:
0787.03010
Mathematical Reviews number (MathSciNet):
MR1231287
Digital Object Identifier: doi:10.1305/ndjfl/1093634655
Notre Dame Journal of Formal Logic
