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)
Åpne
Permanent lenke
https://hdl.handle.net/11250/2739239Utgivelsesdato
2020Metadata
Vis full innførselSamlinger
- Department of Philosophy [240]
- Registrations from Cristin [9766]
Originalversjon
Journal of Applied Non-Classical Logics (JANCL). 2020, 30(3):272-289 https://doi.org/10.1080/11663081.2020.1782593Sammendrag
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.