Operational Semantics for Positive Relevant Logics Without Distribution

DOI10.1007/978-3-540-73001-9_34zbMath1151.03322MaRDI QIDQ5425334

Jingde Cheng, Ying Gao

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

zbMATH Keywords

Operational semantics; Relevant logics

Mathematics Subject Classification ID

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