Structural proof theory for first-order weak Kleene logics
Journal article, Peer reviewed
Published version
![Thumbnail](/bora-xmlui/bitstream/handle/11250/2739239/Andreas%2bFjellstad_Structural%2bproof%2btheory%2bfor%2bfirst%2border%2bweak%2bKleene%2blogics.pdf.jpg?sequence=6&isAllowed=y)
View/ Open
Date
2020Metadata
Show full item recordCollections
- Department of Philosophy [240]
- Registrations from Cristin [9766]
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.