Structural proof theory for first-order weak Kleene logics
Journal article, Peer reviewed
Published version
Åpne
Permanent lenke
https://hdl.handle.net/11250/2739239Utgivelsesdato
2020Metadata
Vis full innførselSamlinger
- Department of Philosophy [250]
- Registrations from Cristin [10690]
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.