Change search
ReferencesLink to record
Permanent link

Direct link
The Subformula Property In Classical Natural Deduction Established Constructively
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2012 (English)In: The Review of Symbolic Logic, ISSN 1755-0203, Vol. 5, no 4, 710-719 p.Article in journal (Refereed) Published
Abstract [en]

A constructive proof is provided for the claim that classical first-order logic admits of a natural deduction formulation featuring the subformula property.

Place, publisher, year, edition, pages
2012. Vol. 5, no 4, 710-719 p.
National Category
Mathematics Philosophy
URN: urn:nbn:se:kth:diva-109634DOI: 10.1017/S1755020312000202ISI: 000311684800009OAI: diva2:584728

QC 20130109

Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2013-01-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Sandqvist, Tor
By organisation
In the same journal
The Review of Symbolic Logic

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 37 hits
ReferencesLink to record
Permanent link

Direct link