6 citations · 14 across the 19 of their papers we have counts for
4 papers · 1 filter
A New Conjecture About Identity of Proofs
Paolo Pistone
A central problem in proof-theory is that of finding criteria for identity of proofs, that is, for when two distinct formal derivations can be taken as denoting the same logical ar…
The naturality of natural deduction (II). Some remarks on atomic polymorphism
Paolo Pistone, Luca Tranchini, Mattia Petrolo
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 translat…
Polymorphism and the obstinate circularity of second order logic: a victims' tale
Paolo Pistone
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the ci…
The naturality of natural deduction
Luca Tranchini, Paolo Pistone, Mattia Petrolo
Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implica…