Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

Sopo Pkhakadze, Hans Tompits. Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic. Axioms, 9(3):84, 2020. [doi]

Abstract

Abstract is missing.