scientific article
zbMath1377.03001MaRDI QIDQ2831330
Publication date: 2 November 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
substructural logicsintuitionistic logicmany-valued logicsmodal logicsnonclassical logicscategorial grammarcombinatorial logic
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
