Hiroko Ozaki, Daisuke Bekki. Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. In Denis Béchet, Alexander Ja. Dikovsky, editors, Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings. Volume 7351 of Lecture Notes in Computer Science, pages 186-200, Springer, 2012. [doi]
Abstract is missing.