Depth relevance of some paraconsistent logics
type: Item
instance of: scholarly article
title: Depth relevance of some paraconsistent logics
zbMATH Open document ID: 0581.03014
DOI: 10.1007/BF00935740
author: Ross T. Brady
published in: Studia Logica
publication date: 1984-01-01T00:00:00Z
review text: A propositional logic is said to satisfy the ''depth-relevance condition'' iff whenever \(A\to B\) is a thesis then A and B share a variable at the same depth of nested occurrences of \(\to\). The paper under review defines a propositional logic DR which is included in the system T of ''ticket entailment'' and includes the system DK of \textit{R. Routley} [Relevance Logic Newsl. 2, 50-89 and 138-174 (1977; Zbl 0435.03005)], and shows that it satisfies the depth-relevance condition.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3928963
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: relevance logics
zbMATH Keywords: ticket entailment
zbMATH Keywords: DK
reviewed by: David Makinson
MaRDI profile type: Publication
cites work: Q3032252
cites work: Career induction stops here (and here =2)
cites work: Q4198728
cites work: Q3874167
cites work: Q3701398
full work available at URL: https://doi.org/10.1007/bf00935740
OpenAlex ID: W1989799540
description: scientific article; zbMATH DE number 3928963