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

• Type: Journal
• Year: 2008
• Where: SYNTHESE
• Authors: Barry Hartley Slater
• Keywords: Natural Deduction Systems, SYNTHESE 2008