Brady’s deep relevant logic DR plus the qualified factorization principles has the deep relevant condition

Mendez M José, Robles Gemma, Francisco Salto

Abstract


The “depth relevance condition” (drc) is a strengthening of the “variable- sharing property” (vsp). Deep relevant logics are logics fulfilling the drc, and Brady’s DR is a key item in this class. The “qualified factorization principles” (qfp) are strong distribution principles. The qfp can be added to Relevance logic R without the result collapsing in a logic lacking the vsp. The aim of this paper is to show that DR (and any logic included in it) can be extended with the qfp, the drc being preserved.


Refbacks

  • There are currently no refbacks.