scientific article; zbMATH DE number 7325813
From MaRDI portal
Publication:5855500
zbMath1487.03040MaRDI QIDQ5855500
Publication date: 18 March 2021
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) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: