A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
From MaRDI portal
Publication:1825185
DOI10.1007/BF00370632zbMath0684.03009MaRDI QIDQ1825185
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
03B99: General logic
Cites Work