Structural proof theory for first-order weak Kleene logics
Journal article, Peer reviewed
Published version
View/ Open
Date
2020Metadata
Show full item recordCollections
- Department of Philosophy [235]
- Registrations from Cristin [9580]
Original version
Journal of Applied Non-Classical Logics (JANCL). 2020, 30(3):272-289 https://doi.org/10.1080/11663081.2020.1782593Abstract
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.