On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String

Wojciech Zielonka. On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String. Journal of Logic and Computation, 17(2):299-310, 2007. [doi]

Abstract

Abstract is missing.