37 citations · 71 across the 9 of their papers we have counts for
1 paper · 1 filter
Olaf Beyersdorff, Leroy Chew
In this paper we compare two proof systems for minimal entailment: a tableau system OTAB and a sequent calculus MLK, both developed by Olivetti (1992). Our main result shows that O…