Depth relevance of some paraconsistent logics
From MaRDI portal
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.
Recommendations
Cites work
- Career induction stops here (and here =2)
- scientific article; zbMATH DE number 4130376 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3677792 (Why is no real title available?)
- scientific article; zbMATH DE number 3637825 (Why is no real title available?)
Cited in
(26)- A content semantics for quantified relevant logics. I
- Hierarchical semantics for relevant logics
- On the rate of decrease in logical depth
- Curry's paradox, generalized modus ponens axiom and depth relevance
- Depth relevance and hyperformalism
- What is a relevant connective?
- Farewell to suppression-freedom
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Blocking the routes to triviality with depth relevance
- Models for relevant modal logics
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
- The relevance of premises to conclusions of core proofs
- A general characterization of the variable-sharing property by means of logical matrices
- Logics of infinite depth
- Gentzenizations of relevant logics without distribution. I
- Strong depth relevance
- SUBSTITUTION IN RELEVANT LOGICS
- On the methodology of paraconsistent logic
- scientific article; zbMATH DE number 6751870 (Why is no real title available?)
- Free semantics
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Topics, non-uniform substitutions, and variable sharing
- Hyperformalism for bunched natural deduction systems
- Variable-sharing as relevance
- A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
- Topic transparency and variable sharing in weak relevant logics
This page was built for publication: Depth relevance of some paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1068075)
