L-Completeness of the Lambek Calculus with the Reversal Operation
From MaRDI portal
Publication:4981253
DOI10.1007/978-3-642-31262-5_10zbMath1291.03039OpenAlexW72464785MaRDI QIDQ4981253
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-642-31262-5_10
Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
This page was built for publication: L-Completeness of the Lambek Calculus with the Reversal Operation
