scientific article; zbMATH DE number 6130988
From MaRDI portal
Publication:4903809
zbMath1275.03094MaRDI QIDQ4903809
Publication date: 27 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lambek calculuslinear logicnegative informationnon-commutative logicsplit negationprocedural interpretation
Related Items (1)
This page was built for publication: