An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents

DOI10.1007/978-3-662-43742-1_3zbMath1291.03038OpenAlexW56703152MaRDI QIDQ4981266

Wojciech Buszkowski

Publication date: 24 June 2014

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43742-1_3

Mathematics Subject Classification ID

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

Related Items (2)

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus

This page was built for publication: An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents