Blar i Department of Philosophy på tidsskrift "Journal of Applied Non-Classical Logics (JANCL)"
Viser treff 1-1 av 1
-
Structural proof theory for first-order weak Kleene logics
(Journal article; Peer reviewed, 2020)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 ...