Sciweavers

Share
SYNTHESE
2008

Harmonising natural deduction

8 years 4 months ago
Harmonising natural deduction
: 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 no formula occurrence is both the
Barry Hartley Slater
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where SYNTHESE
Authors Barry Hartley Slater
Comments (0)
books