A brief survey of frames for the Lambek calculus’, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 38 (1992)

by K Doˇsen