Gentzenizing Schroeder-Heister's natural extension of natural deduction.
Arnon Avron
Source: Notre Dame J. Formal Logic Volume 31, Number 1
(1989), 127-135.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093635337
Zentralblatt MATH identifier: 0712.03046
Mathematical Reviews number (MathSciNet): MR1043796
Digital Object Identifier: doi:10.1305/ndjfl/1093635337
Notre Dame Journal of Formal Logic
