A deduction rule for ${\rm VBTO}($ $)^n_{i=1}$.
Richard Butrick
Source: Notre Dame J. Formal Logic Volume 18, Number 3
(1977), 510-512.
First Page:
Show
Hide
Primary Subjects:
02B10
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093888029
Zentralblatt MATH identifier: 0348.02018
Mathematical Reviews number (MathSciNet): MR0497906
Digital Object Identifier: doi:10.1305/ndjfl/1093888029
Notre Dame Journal of Formal Logic
