Distributive full Lambek calculus has the finite model property

From MaRDI portal
Publication:1015484

DOI10.1007/S11225-009-9172-7zbMath1183.03021OpenAlexW2048656560MaRDI QIDQ1015484

Michał Kozak

Publication date: 8 May 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9172-7




Related Items (10)




Cites Work




This page was built for publication: Distributive full Lambek calculus has the finite model property