• Logical Nihilism and the logic of 'prem'. 

      Fjellstad, Andreas (Journal article; Peer reviewed, 2020)
      As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument ...
    • Metainferential Reasoning on Strong Kleene Models 

      Fjellstad, Andreas (Journal article; Peer reviewed, 2021)
      Barrio et al. (Journal of Philosophical Logic, 49(1), 93–120, 2020) and Pailos (Review of Symbolic Logic, 2020(2), 249–268, 2020) develop an approach to define various metainferential hierarchies on strong Kleene models ...
    • A note on the cut-elimination proof in "truth without contra(di)ction" 

      Fjellstad, Andreas (Peer reviewed; Journal article, 2020)
      This note shows that the permutation instructions presented by Zardini in "Truth without contra(di)ction" (RSL, 2011) for eliminating cuts on universally quantified formulas in the sequent calculus for the non-contractive ...
    • 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 ...