Premium
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
Mathematical Logic QuarterlyPeer ReviewedKolowskaGawiejnowicz Miroslawa1999Journals
We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.
This content is not available in your region!
Continue researching from Zendy home
Having issues? Contact support