Premium
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
Author(s) -
KolowskaGawiejnowicz Miroslawa
Publication year - 1999
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19990450105
Subject(s) - mathematics , calculus (dental) , semantics (computer science) , kripke semantics , algebra over a field , programming language , computer science , pure mathematics , medicine , intermediate logic , dentistry , description logic
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom