3 citations · 3 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2019★ 3 cited
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…
math.LO2016
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…