Logic and Grammar

Authors:
Joachim Lambek
Affiliations:
Department of Mathematics and Statistics, McGill University, Montreal, Canada
Venue:
Studia Logica
Year:
2012

Citing 5
Cited 0

Linear logic

Theoretical Computer Science
Bilinear logic in algebra and linguistics

Proceedings of the workshop on Advances in linear logic
Type Grammar Revisited

LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Lambek Grammars Based on Pregroups

LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Exploring Feature Agreement in French with Parallel Pregroup Computations

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements.