scientific article; zbMATH DE number 1421203

MaRDI QIDQ4946232zbMATH OpenFDO

Authors Michael Moortgat

Publication date 11 September 2001

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)

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

Cited in

(6)

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

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)