Generalizing the depth relevance condition: deep relevant logics not Included in R-Mingle
[EN] Brady has shown how to define a class of deep relevant logics from Meyer’s crystal lattice CL. The aim of this paper is to generalize Brady’s result by showing how to define a class of deep relevant logics from each weak relevant matrix (weak relevant matrices only verify logics with the variab...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| 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/25759 |
| Acceso en línea: | https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-55/issue-1/Generalizing-the-Depth-Relevance-Condition--Deep-Relevant-Logics-Not/10.1215/00294527-1960461.full https://hdl.handle.net/10612/25759 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Deep relevant logics Logical matrices Relevant logics Weak relevant matrices 11 Lógica |
| Sumario: | [EN] Brady has shown how to define a class of deep relevant logics from Meyer’s crystal lattice CL. The aim of this paper is to generalize Brady’s result by showing how to define a class of deep relevant logics from each weak relevant matrix (weak relevant matrices only verify logics with the variable-sharing property). A class of deep relevant logics not included in R-Mingle is defined. |
|---|