LP-1994-05: The Lambek Calculus: Relational Semantics and the Method of Labelling

LP-1994-05: Kurtonina, Natasha (1994) The Lambek Calculus: Relational Semantics and the Method of Labelling. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (607kB)
[thumbnail of Abstract] Text (Abstract)

Download (987B)


Relational Semantics as it is introduced in [vB88], [vB91], [Bus.86]
and [Or89] provides a dynamic interpretation for the Lambek Calculus:
valuation of formulae is carried out on pairs of points, which can be
treated as informational states. Propositions can be understood as
programs of transformation of informational states. In [M92] Szabolcs
Mikulas presents an algebraic proof of the corresponding Completeness
The purpose of this paper is to propose a new, rather simple completeness
proof by using the method of labelling. The general theory of labelled
deductive systems is proposed by D.Gabbay. In the labelled version of
the Lambek Calculus a pair of labels is attached to every formula and
the way of labelling reflects corresponding semantical truth conditions.
Straighforward parallelism between syntax and semantics enables one to
obtain the completeness result.

Item Type: Report
Report Nr: LP-1994-05
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1994
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1207

Actions (login required)

View Item View Item