Relevant harmony
From MaRDI portal
Publication:2804328
DOI10.1093/LOGCOM/EXT026zbMath1403.03038OpenAlexW4237958679MaRDI QIDQ2804328
Publication date: 28 April 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/ext026
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (2)
An Alternative Natural Deduction for the Intuitionistic Propositional Logic ⋮ Does the Implication Elimination Rule Need a Minor Premise?
This page was built for publication: Relevant harmony
