1 paper
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…