Comparing and evaluating extended Lambek calculi

06/18/2015
by   Richard Moot, et al.
0

Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory). However, though it was successful in giving at least a basic treatment of many linguistic phenomena, it was also clear that a slightly more expressive logical calculus was needed for many other cases. Therefore, many extensions and variants of the Lambek calculus have been proposed, since the eighties and up until the present day. As a result, there is now a large class of calculi, each with its own empirical successes and theoretical results, but also each with its own logical primitives. This raises the question: how do we compare and evaluate these different logical formalisms? To answer this question, I present two unifying frameworks for these extended Lambek calculi. Both are proof net calculi with graph contraction criteria. The first calculus is a very general system: you specify the structure of your sequents and it gives you the connectives and contractions which correspond to it. The calculus can be extended with structural rules, which translate directly into graph rewrite rules. The second calculus is first-order (multiplicative intuitionistic) linear logic, which turns out to have several other, independently proposed extensions of the Lambek calculus as fragments. I will illustrate the use of each calculus in building bridges between analyses proposed in different frameworks, in highlighting differences and in helping to identify problems.

READ FULL TEXT
research
09/22/2020

Logical foundations for hybrid type-logical grammars

This paper explores proof-theoretic aspects of hybrid type-logical gramm...
research
03/03/2020

Decision Problems for Propositional Non-associative Linear Logic and Extensions

In our previous work, we proposed the logic obtained from full non-assoc...
research
08/13/2016

Undecidability of the Lambek calculus with subexponential and bracket modalities

The Lambek calculus is a well-known logical formalism for modelling natu...
research
01/19/2020

Infinitary Action Logic with Exponentiation

We introduce infinitary action logic with exponentiation—that is, the mu...
research
09/21/2022

Capturing Bisimulation-Invariant Exponential-Time Complexity Classes

Otto's Theorem characterises the bisimulation-invariant PTIME queries ov...
research
12/30/2019

A type-assignment of linear erasure and duplication

We introduce LEM, a type-assignment system for the linear λ-calculus tha...
research
03/01/2021

Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus

In this paper hypergraph Lambek calculus (HL) is presented. This formali...

Please sign up or login with your details

Forgot password? Click here to reset