155 search results - page 1 / 31 » Harmonising natural deduction |
SYNTHESE
2008
13 years 11 months ago
2008
: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...
NLPRS
2001
Springer
14 years 3 months ago
2001
Springer
JUCS
2007
13 years 11 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
APAL
2008
13 years 11 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...
IGPL
2002
13 years 11 months ago
2002
The system of natural deduction that originated with Gentzen (1934