scientific article; zbMATH DE number 1341928

zbMATH Open0933.03019MaRDI QIDQ4263490

Mati Pentus

Publication date: 21 November 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

Lambek calculuscontext-free grammarinterpolation propertycategorial grammarsyntactic typesconjoinability relation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

On the recognizing power of the Lambek calculus with brackets ⋮ The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars ⋮ Pāṇini's Grammar and Modern Computation ⋮ Lambek calculus for transformational grammar ⋮ Title not available (Why is that?) ⋮ Extending the Lambek calculus with classical negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263490)