Are Tableaux an Improvement of Truth-Tables? Cut-Free Proofs and Bivalence (1992)

by M d’Agostino
Venue:Journal of Logic, Language, and Information