• Non-Boolean classical relevant logics I 

      Øgaard, Tore Fjetland (Peer reviewed; Journal article, 2021)
      Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment ...
    • 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 ...