A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. - Sopo Pkhakadze; Hans Tompits (LPNMR, 2019)

Sequent-Type Proof Systems for Three-Valued Default Logic. - Sopo Pkhakadze (CoRR, 2019)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic. - Sopo Pkhakadze; Hans Tompits (Axioms, 2020)