• Structural proof theory for first-order weak Kleene logics 

      Fjellstad, Andreas (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 ...