Sequent-Type Proof Systems for Three-Valued Default Logic

Sopo Pkhakadze

Sequent-type proof systems constitute an important and widely-used class of calculi well-suited for analysing proof search. In my master's thesis, I introduce sequent-type calculi…