Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle
Gemma Robles, José M. Méndez · Notre Dame Journal of Formal Logic · 2014
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.