3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Jonathan Chan, Aaron Stump
In conventional natural deduction, a proof of a proposition is a derivation tree constructed out of inference rules with some number of premises and a conclusion judgement. For pro…