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