Blar i Department of Philosophy på emneord "Ikke-klassisk logikk / Non-classical logic"
Viser treff 1-1 av 1
-
Substitution in Relevant Logics
(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 ...