Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (1992)

by Marcello D’Agostino
Venue:Journ. of Log., Lang., and Inform