Normal form of derivations in the nonassociative and commutative lambek calculus with product

DOI10.1002/MALQ.19930390113zbMath0803.03015OpenAlexW2017864760MaRDI QIDQ4304803

MacIej Kandulski

Publication date: 31 August 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390113

zbMATH Keywords

Lambek calculuscategorial grammarscontext- free languagesnonassociative calculi

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) General logic (03B99)

Related Items (2)

Algebraic structures in categorial grammar ⋮ Type logics and pregroups

Cites Work

• Unnamed Item

This page was built for publication: Normal form of derivations in the nonassociative and commutative lambek calculus with product