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.
Last updated 27/06/24: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident
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.