Concepedia
Mathematical logic quarterly · 1990 · 39 citations · 2 references
Non-classical LogicSyntaxAutomated ReasoningConstructive LogicPropositional LogicLinear LogicLambek Syntactic CalculusLanguage StudiesSemanticsLinguisticsSequent Calculus
2
Completeness Results for Lambek Syntactic Calculus
Wojciech Buszkowski · Mathematical logic quarterly · 1986 · 98 citations
Syntax, Automated Reasoning, Grammatical Formalism +6
A Completeness Theorem for the Lambek Calculus of Syntactic Categories
Kosta Došen · Mathematical logic quarterly · 1985 · 29 citations
Syntax, Automated Reasoning, Grammatical Formalism +5