Structural proof theory for first-order weak Kleene logics
Andreas Fjellstad · Journal of Applied Non-Classical Logics · 2020
This paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.