Brady's Deep Relevant Logic DR plus the Qualified Factorization Principles Has the Depth Relevant Condition
[EN] 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...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25741 |
| Acceso en línea: | https://poj.peeters-leuven.be/content.php?id=3144298&url=article https://hdl.handle.net/10612/25741 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Depth relevance condition Deep relevant logics Qualified factorization principles Relevant logics 11 Lógica |
| Sumario: | [EN] 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. |
|---|