By the same authors

From the same journal

On Constraint-Based Lambek Calculi

Research output: Contribution to journalArticlepeer-review

Author(s)

Department/unit(s)

Publication details

JournalCoRR
DatePublished - 1995
Volumeabs/cmp-lg/9508008
Original languageUndefined/Unknown

Abstract

We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which a particularly simple combination of Lambek's and the proof system of the base logic is complete. Furthermore the proof system for the underlying base logic can be assumed to be a black box. The essential reasoning needed to be performed by the black box is that of {\em entailment checking}. Assuming feature logic as the base logic entailment checking amounts to a {\em subsumption} test which is a well-known quasi-linear time decidable problem.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations