scientific article; zbMATH DE number 1421203
From MaRDI portal
Publication:4946232
zbMath0968.03033MaRDI QIDQ4946232
Publication date: 11 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural languagenatural deductionlabelled deductionalgorithmic proof theoryCurry-Howard labellinggrammatical compositiongrammatical reasoning
Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (2)
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars ⋮ Should pregroup grammars be adorned with additional operations?
This page was built for publication:
