scientific article
From MaRDI portal
Publication:2966520
zbMath1422.03021MaRDI QIDQ2966520
Publication date: 7 March 2017
Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/3923/3517
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication:
