A general characterization of the variable-sharing property by means of logical matrices

DOI10.1215/00294527-1715707zbMath1254.03041OpenAlexW2051631797MaRDI QIDQ435241

J. Herrera, H. S. Yoon

Publication date: 11 July 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336588252

zbMATH Keywords

logical matricesrelevant logicsvariable sharing

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (11)

THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ What is a relevant connective? ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Varieties of Relevant S5 ⋮ Farewell to suppression-freedom ⋮ A plea for KR ⋮ Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ Blocking the routes to triviality with depth relevance ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ Revisiting Semilattice Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Depth relevance of some paraconsistent logics
• The compatibility of relevance and mingle
• Relevant entailment—semantics and formal systems
• The Relevant Equivalence Property

This page was built for publication: A general characterization of the variable-sharing property by means of logical matrices