A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur.

Sopo Pkhakadze, Hans Tompits

Browse the full LPNMR paper archive.