Notre Dame Journal of Formal Logic

Gentzenizing Schroeder-Heister's natural extension of natural deduction.

Arnon Avron

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 31, Number 1 (1989), 127-135.

Dates
First available: 27 August 2004

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

Subjects
Primary: 03F05: Cut-elimination and normal-form theorems
Secondary: 03B15: Higher-order logic and type theory

Citation

Avron, Arnon. Gentzenizing Schroeder-Heister's natural extension of natural deduction. Notre Dame Journal of Formal Logic 31 (1989), no. 1, 127--135. doi:10.1305/ndjfl/1093635337. http://projecteuclid.org/euclid.ndjfl/1093635337.


Export citation