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

Mendez M José, Robles Gemma, Francisco Salto


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.


  • There are currently no refbacks.