The Pentus theorem for Lambek calculus with simple nonlogical axioms

DOI10.1007/S11225-005-2801-XzbMath1116.03017OpenAlexW1975040173MaRDI QIDQ817678

Maria Bulińska

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-2801-x

zbMATH Keywords

Lambek calculuscontext-free grammar

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

On the complexity of nonassociative Lambek calculus with unit

Cites Work

• The Mathematics of Sentence Structure
• Product-free Lambek calculus and context-free grammars
• Deductive systems and categories
• Unnamed Item
• Unnamed Item

This page was built for publication: The Pentus theorem for Lambek calculus with simple nonlogical axioms