scientific article
From MaRDI portal
Publication:3466597
zbMath1330.03055MaRDI QIDQ3466597
Publication date: 1 February 2016
Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/1814/1664
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models of arithmetic and set theory (03C62) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
SUBSTITUTION IN RELEVANT LOGICS ⋮ Assertion, Denial and Non-classical Theories ⋮ The scope of Gödel's first incompleteness theorem
This page was built for publication:
