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