scientific article; zbMATH DE number 7109522
From MaRDI portal
Publication:5197385
DOI10.2143/LEA.242.0.3284749zbMath1436.03145MaRDI QIDQ5197385
Shawn Standefer, Ross T. Brady
Publication date: 23 September 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items (1)
This page was built for publication:
