On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
From MaRDI portal
Publication:5432673
DOI10.1093/logcom/exl041zbMath1157.03007OpenAlexW2002087480MaRDI QIDQ5432673
Publication date: 17 December 2007
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exl041
Related Items (1)
This page was built for publication: On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String