## Notre Dame Journal of Formal Logic

### Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle

#### Abstract

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.

#### Article information

Source
Notre Dame J. Formal Logic, Volume 55, Number 1 (2014), 107-127.

Dates
First available in Project Euclid: 20 January 2014

https://projecteuclid.org/euclid.ndjfl/1390246442

Digital Object Identifier
doi:10.1215/00294527-1960461

Mathematical Reviews number (MathSciNet)
MR3161416

Zentralblatt MATH identifier
06279845

#### Citation

Robles, Gemma; Méndez, José M. Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame J. Formal Logic 55 (2014), no. 1, 107--127. doi:10.1215/00294527-1960461. https://projecteuclid.org/euclid.ndjfl/1390246442

#### References

• [1] Ackermann, W., “ Begründung einer strengen Implikation,” Journal of Symbolic Logic, vol. 21 (1956), pp. 113–28.
• [2] Anderson, A. R., and N. D. Belnap, Jr., Entailment, Vol. 1: The Logic of Relevance and Necessity, Princeton University Press, Princeton, 1975.
• [3] Belnap, N. D., Jr., “Entailment and relevance,” Journal of Symbolic Logic, vol. 25 (1960), pp. 144–46.
• [4] Brady, R. T., “Completeness proofs for the systems $\mathrm{RM}3$ and $\mathrm{BN}4$,” Logique et Analyse (New Series), vol. 25 (1982), pp. 9–32.
• [5] Brady, R. T., “Depth relevance of some paraconsistent logics,” Studia Logica, vol. 43 (1984), pp. 63–73.
• [6] Brady, R. T., “Hierarchical semantics for relevant logics,” Journal of Philosophical Logic, vol. 21 (1992), pp. 357–74.
• [7] Brady, R. T., “Relevant implication and the case for a weaker logic,” Journal of Philosophical Logic, vol. 25 (1996), pp. 151–83.
• [8] Brady, R. T., ed., Relevant Logics and Their Rivals, Vol. II, Ashgate Publishing, Aldershot, England, 2003.
• [9] Brady, R. T., Universal Logic, vol. 109 of CSLI Lecture Notes, CSLI Publications, Stanford, Calif., 2006.
• [10] Méndez, J. M., G. Robles, and F. Salto, “Depth relevance, containment semantics, and the factor axioms,” in preparation.
• [11] Meyer, R. K., and R. Routley, “Algebraic analysis of entailment, I,” Logique et Analyse (New Series), vol. 15 (1972), pp. 407–28.
• [12] Robles, G., “Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann” (“Subintuitionistic negations for logics with the converse Ackermann property”), Ph.D. dissertation, Ediciones Universidad de Salamanca, Colección Vitor 179, Salamanca, Spain, 2006.
• [13] Robles, G., and J. M. Méndez, “A general characterization of the variable-sharing property by means of logical matrices,” Notre Dame Journal of Formal Logic, vol. 53 (2012), pp. 223–44.
• [14] Routley, R., and R. K. Meyer, “The semantics of entailment, III,” Journal of Philosophical Logic, vol. 1(1972), pp. 192–208.
• [15] Routley, R., V. Plumwood, R. K. Meyer, and R. T. Brady, Relevant Logics and Their Rivals, Part I: The Basic Philosophical and Semantical Theory, Ridgeview Publishing, Atascadero, Calif., 1982.