Translator Disclaimer
2014 Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle
Gemma Robles, José M. Méndez
Notre Dame J. Formal Logic 55(1): 107-127 (2014). DOI: 10.1215/00294527-1960461

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.

Citation

Download Citation

Gemma Robles. José M. Méndez. "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

Information

Published: 2014
First available in Project Euclid: 20 January 2014

zbMATH: 06279845
MathSciNet: MR3161416
Digital Object Identifier: 10.1215/00294527-1960461

Subjects:
Primary: 03B47

Rights: Copyright © 2014 University of Notre Dame

JOURNAL ARTICLE
21 PAGES


SHARE
Vol.55 • No. 1 • 2014
Back to Top