scientific article; zbMATH DE number 7576846
From MaRDI portal
Publication:5099997
Katalin Bimbó, J. Michael Dunn
Publication date: 26 August 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication:
