Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function

DOI10.26686/AJL.V15I2.4071zbMath1456.03040OpenAlexW2853550260MaRDI QIDQ3121050

Thomas Macaulay Ferguson

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.4071

zbMATH Keywords

relevant logicfirst-degree entailmentmate functionprinciple of explosionRoutley star operator

Mathematics Subject Classification ID

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

This page was built for publication: Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function