Relevant Logics Obeying Component Homogeneity
From MaRDI portal
Publication:3121048
DOI10.26686/ajl.v15i2.4864zbMath1453.03019MaRDI QIDQ3121048
Thomas Macaulay Ferguson, Damian Szmuc, Roberto Ciuni
Publication date: 19 March 2019
Published in: The Australasian Journal of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.26686/ajl.v15i2.4864
relevant logic; sequent calculi; characterization theorems; containment logic; component homogeneity; meaninglessness; variable-inclusion conditions
03B50: Many-valued logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B53: Paraconsistent logics
Related Items