scientific article; zbMATH DE number 1421203

zbMATH Open0968.03033MaRDI QIDQ4946232FDOQ4946232

Michael Moortgat

Publication date: 11 September 2001

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

Recommendations

• Some 3-Dimensional Systems of Labelled Deduction
• Publication:4946226
• Talking about Explicit Databases in Categorial Grammar
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus
• Labelled proof nets for the syntax and semantics of natural languages

zbMATH Keywords

natural deductionnatural languagelabelled deductionalgorithmic proof theoryCurry-Howard labellinggrammatical compositiongrammatical reasoning

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (6)

• Talking about Explicit Databases in Categorial Grammar
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• Some 3-Dimensional Systems of Labelled Deduction
• Deductive and grammatical competence: type logical remarks on nesting phenomena
• Should pregroup grammars be adorned with additional operations?
• Labelled proof nets for the syntax and semantics of natural languages

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 Q4946232)