Abstract
This paper presents a constructive interpretation for the proofs in classical logic of $\Sigma^0_1$ -sentences and for a witness extraction procedure based on Prawitz's reduction rules.
Citation
Franco Barbanera. Stefano Berardi. "A Constructive Valuation Semantics for Classical Logic." Notre Dame J. Formal Logic 37 (3) 462 - 482, Summer 1996. https://doi.org/10.1305/ndjfl/1039886522
Information
