Title of article
Church–Rosser property of a simple reduction for full first-order classical natural deduction Original Research Article
Author/Authors
Y. Andou، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
13
From page
225
To page
237
Abstract
A system of typed terms which corresponds with the classical natural deduction with one conclusion and full logical symbols is defined. Church–Rosser property of the system is proved using an extended method of parallel reduction.
Keywords
Classical natural deduction , Church–Rosser property , Parallel reduction
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889883
Link To Document