3 citations · 3 across the 2 of their papers we have counts for
1 paper · 2 filters
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…