✦ LIBER ✦

Church–Rosser property of a simple reduction for full first-order classical natural deduction

✍ Scribed by Y. Andou

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 131 KB
Volume: 119
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00051-9

No coin nor oath required. For personal study only.

✦ Synopsis

A system of typed terms which corresponds with the classical natural deduction with one conclusion and full logical symbols is deÿned. Church-Rosser property of the system is proved using an extended method of parallel reduction.