Linear axiomatics of commutative product-free Lambek calculus
From MaRDI portal
Publication:2277257
DOI10.1007/BF00370162zbMath0725.03035MaRDI QIDQ2277257
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Cites Work