Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Michael Kaminski, Nissim Francez. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic. Studia Logica, 102(3):479-497, 2014. [doi]

Abstract

Abstract is missing.