Please use this identifier to cite or link to this item:
Appears in Collections:Law and Philosophy Journal Articles
Peer Review Status: Refereed
Title: Subformula and separation properties in natural deduction via small Kripke models
Author(s): Milne, Peter
Keywords: Modality (Logic)
Issue Date: 2010
Date Deposited: 16-Mar-2011
Citation: Milne P (2010) Subformula and separation properties in natural deduction via small Kripke models. The Review of Symbolic Logic, 3 (2), pp. 175-227.
Abstract: Various natural deduction formulations of classical, minimal, intuitionist, and intermediate propositional and first-order logics are presented and investigated with respect to satisfaction of the separation and subformula properties. The technique employed is, for the most part, semantic, based on general versions of the Lindenbaum and Lindenbaum–Henkin constructions. Careful attention is paid (i) to which properties of theories result in the presence of which rules of inference, and (ii) to restrictions on the sets of formulas to which the rules may be employed, restrictions determined by the formulas occurring as premises and conclusion of the invalid inference for which a counterexample is to be constructed. We obtain an elegant formulation of classical propositional logic with the subformula property and a singularly inelegant formulation of classical first-order logic with the subformula property, the latter, unfortunately, not a product of the strategy otherwise used throughout the article. Along the way, we arrive at an optimal strengthening of the subformula results for classical first-order logic obtained as consequences of normalization theorems by Dag Prawitz and Gunnar Stalmarck.
DOI Link: 10.1017/S175502030999030X
Rights: Published in The Review of Symbolic Logic by Cambridge University Press for the Association for Symbolic Logic. Copyright: Association for Symbolic Logic, 2010

Files in This Item:
File Description SizeFormat 

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.