Operational Semantics for Positive Relevant Logics Without Distribution
From MaRDI portal
Publication:5425334
DOI10.1007/978-3-540-73001-9_34zbMath1151.03322MaRDI QIDQ5425334
Publication date: 13 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_34
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)