Lambek calculus with one division and one primitive type permitting empty antecedents

DOI10.3103/S0027132209020089zbMath1304.03054OpenAlexW2013762330MaRDI QIDQ2513062

Stepan Kuznetsov

Publication date: 2 February 2015

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132209020089

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Polynomial equivalence among systems LLNC, LLNC\(_a\) and LLNC\(_0\)
• The Mathematics of Sentence Structure

This page was built for publication: Lambek calculus with one division and one primitive type permitting empty antecedents