|
|||||
|
|
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives |
|
| Authors: | Pistone Paolo Tranchini Luca Petrolo Mattia |
| Institution: | 1.Dipartimento di Informatica-Scienza e Ingegneria, Università di Bologna, Bologna, Italy ;2.Wilhelm-Schickard-Institut, Universität Tübingen, Tübingen, Germany ;3.Centro de Ciências Naturais e Humanas, Universidade Federal do ABC, São Bernardo do Campo, Brazil ; |
| Abstract: | Studia Logica - In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |