Harmonising natural deduction

13 years 4 months ago

Download www.philosophy.uwa.edu.au

: 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

Real-time Traffic

Natural Deduction Systems | SYNTHESE 2008 |

claim paper

» Pedagogical Natural Deduction Systems the Propositional Case

» Strong normalization of classical natural deduction with disjunctions

» Ultimate Normal Forms for Parallelized Natural Deductions

» Rewriting for Fitch Style Natural Deductions

» AMOS A Natural Language Parser Implemented as a Deductive Database in LOLA

» Normal deduction in the intuitionistic linear logic

» Pandora A Reasoning Toolbox using Natural Deduction Style

» Efficiently Simulating HigherOrder Arithmetic by a FirstOrder Theory Modulo

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	SYNTHESE
Authors	Barry Hartley Slater

Comments (0)

Sciweavers

Harmonising natural deduction

Natural Deduction Systems | SYNTHESE 2008 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers