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

Wojciech Buszkowski. An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. In Nicholas Asher, Sergei Soloviev, editors, Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Volume 8535 of Lecture Notes in Computer Science, pages 30-43, Springer, 2014. [doi]

Abstract

Abstract is missing.