Browsing Department of Philosophy by Journals "The Review of Symbolic Logic"

Now showing items 1-2 of 2

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

    • Substitution in Relevant Logics 

      Øgaard, Tore Fjetland (Peer reviewed; Journal article, 2019)
      This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form s = t ^ A(s) -> A(t)—as these are put forward in Priest’s books "In Contradiction" and "An ...