|
|||||
|
|
Ultimate Normal Forms for Parallelized Natural Deductions |
|
| Authors: | Tennant Neil |
| Affiliation: | Department of Philosophy, The Ohio State University, 230 North Oval Mall, Columbus, OH 43210, USA. E-mail: tennant.9{at}osu.edu |
| Abstract: | |
| Keywords: | cut-elimination Hauptsatz intuitionistic relevant logic relevance natural deduction normalization parallelized elimination rules reduction procedure sequent calculus ultimate normal form |
| 本文献已被 Oxford 等数据库收录！ | |