Symmetric categorial grammar
type: Item
instance of: scholarly article
title: Symmetric categorial grammar
zbMATH Open document ID: 1197.03022
author: Michael Moortgat
published in: Journal of Philosophical Logic
publication date: 2010-01-15T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 5659542
zbMATH Keywords: categorial grammar
zbMATH Keywords: Lambek calculus
zbMATH Keywords: lambda calculus
zbMATH Keywords: Curry-Howard correspondence
zbMATH Keywords: substructural logic
MaRDI profile type: Publication
full work available at URL: s10992-009-9118-6
OpenAlex ID: W2077855244
cites work: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
cites work: Types as graphs: Continuations in type logical grammar
cites work: Continuation semantics for the Lambek-Grishin calculus
cites work: Q3599059
cites work: Symmetric generalized Galois logics
cites work: Non-commutative linear logic in linguistics
cites work: Global index grammars and descriptive power
cites work: Q4342439
cites work: The duality of computation
cites work: Classical non-associative Lambek calculus
cites work: On the expressive power of abstract categorial grammars: Representing context-free formalisms
cites work: Q3413927
cites work: Algebraic methods in philosophical logic
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Generalized Kripke frames
cites work: Substructural logics on display
cites work: Relational Semantics for the Lambek-Grishin Calculus
cites work: The Mathematics of Sentence Structure
cites work: Q4940719
cites work: Q3612673
cites work: Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
cites work: The Generative Capacity of the Lambek–Grishin Calculus: A New Lower Bound
cites work: Multimodal linguistic inference
cites work: Proof nets for the multimodal Lambek calculus
cites work: The conjoinability relation in Lambek calculus and linear logic
cites work: A faithful representation of non-associative Lambek grammars in abstract categorial grammars
cites work: Principles and implementation of deductive parsing
cites work: Q3470458
cites work: Essays in logical semantics
cites work: Language in action. Categories, lambdas and dynamic logic
DOI: 10.1007/S10992-009-9118-6
description: scientific article; zbMATH DE number 5659542