Special issue on substructural logic and information dynamics: introduction
DOI10.1093/LOGCOM/EXW017zbMath1354.03003OpenAlexW2439157463WikidataQ62045076 ScholiaQ62045076MaRDI QIDQ2957967
Olivier Roy, Ole Thomassen Hjortland
Publication date: 31 January 2017
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exw017
Proceedings of conferences of miscellaneous specific interest (00B25) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication: Special issue on substructural logic and information dynamics: introduction
