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