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.
"Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle." Notre Dame J. Formal Logic 55 (1) 107 - 127, 2014. https://doi.org/10.1215/00294527-1960461