Blar i Bergen Open Research Archive på forfatter "Fjellstad, Andreas"

Viser treff 1-5 av 5

    • Expressing logical disagreement from within 

      Fjellstad, Andreas (Journal article; Peer reviewed, 2022)
      Against the backdrop of the frequent comparison of theories of truth in the literature on semantic paradoxes with regard to which inferences and metainferences are deemed valid, this paper develops a novel approach to ...

    • 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 ...