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

DOI10.1215/00294527-1715707zbMath1254.03041MaRDI 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 matrices; relevant logics; variable sharing

Mathematics Subject Classification ID

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