|
|||||
|
|
Normality,Non-contamination and Logical Depth in Classical Natural Deduction |
|
| Authors: | D’Agostino Marcello Gabbay Dov Modgil Sanjay |
| Affiliation: | 1.Università degli Studi di Milano, Milan, Italy ;2.Bar Ilan University, Ramat Gan, Israel ;3.King’s College London, London, UK ;4.University of Luxembourg, Esch-Sur-Alzette, Luxembourg ; |
| Abstract: | Studia Logica - In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |