Notre Dame Journal of Formal Logic

A structurally complete fragment of relevant logic.

Robert K. Meyer and John K. Slaney

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 33, Number 4 (1992), 561-566.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093634487

Zentralblatt MATH identifier
0798.03019

Mathematical Reviews number (MathSciNet)
MR1199998

Digital Object Identifier
doi:10.1305/ndjfl/1093634487

Subjects
Primary: 03B46

Citation

Slaney, John K.; Meyer, Robert K. A structurally complete fragment of relevant logic. Notre Dame Journal of Formal Logic 33 (1992), no. 4, 561--566. doi:10.1305/ndjfl/1093634487. http://projecteuclid.org/euclid.ndjfl/1093634487.


Export citation