Structural proof theory for first-order weak Kleene logics
Journal article, Peer reviewed
MetadataShow full item record
Original versionJournal of Applied Non-Classical Logics (JANCL). 2020, 30(3):272-289 https://doi.org/10.1080/11663081.2020.1782593
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.