Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Milne, Peter
2015.
Dag Prawitz on Proofs and Meaning.
Vol. 7,
Issue. ,
p.
189.
Published online by Cambridge University Press: 12 October 2012
A constructive proof is provided for the claim that classical first-order logic admits of a natural deduction formulation featuring the subformula property.