Stepan Kuznetsov. L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. In Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Volume 8222 of Lecture Notes in Computer Science, pages 268-278, Springer, 2014. [doi]
Abstract is missing.