Classical logic, intuitionistic logic, and the Peirce rule

DOI10.1305/NDJFL/1093636101zbMath0768.03034OpenAlexW2061477295MaRDI QIDQ1203786

Henry Africk

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636101

zbMATH Keywords

intuitionistic logicGentzen calculusPeirce ruleprimitive recursive cut-elimination operatorproof transformation algorithm

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Classical logic, intuitionistic logic, and the Peirce rule