2001
DOI: 10.1007/s001530100091
|View full text |Cite
|
Sign up to set email alerts
|

Natural deduction with general elimination rules

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
73
0

Year Published

2003
2003
2015
2015

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 87 publications
(74 citation statements)
references
References 5 publications
1
73
0
Order By: Relevance
“…These can be motivated in terms of Prawitz's inversion principle 1 : "the conclusion obtained by an elimination does not state anything more than what must have already been obtained if the major premiss of the elimination was inferred by an introduction" [25, p. 246]. Normality is now the simple idea [39] that the major premiss of each elimination step should be an assumption; see also [13,36].…”
Section: Background On General Elimination Rulesmentioning
confidence: 99%
See 3 more Smart Citations
“…These can be motivated in terms of Prawitz's inversion principle 1 : "the conclusion obtained by an elimination does not state anything more than what must have already been obtained if the major premiss of the elimination was inferred by an introduction" [25, p. 246]. Normality is now the simple idea [39] that the major premiss of each elimination step should be an assumption; see also [13,36].…”
Section: Background On General Elimination Rulesmentioning
confidence: 99%
“…López-Escobar [13] distinguishes between the premiss A of ⊃G E as a "minor" premiss and that of C (assuming B) as a "transfer" premiss. 3 One thus has a calculus of rules in natural deduction style for Int; such calculi, and their normalisation results, have been studied by von Plato [39], by López-Escobar [13] and by Tennant [36]. With the definition (given above) that a deduction is normal iff the major premiss of every elimination step is an assumption, the main results are:…”
Section: Cmentioning
confidence: 99%
See 2 more Smart Citations
“…Let us note that in this context every elimination rule is a proof construction rule since we do not break every compound formula directly but by means of subproofs initiated with respective subformulae. Von Plato [44] has shown that such a solution allows much simpler proof of normalization theorem for natural deduction system.…”
Section: Leblanc's Systemmentioning
confidence: 99%