scientific article
From MaRDI portal
Publication:3035262
zbMath0693.03014MaRDI QIDQ3035262
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite axiomatizationdeductive powernon-associative Lambek calculusaxiomatization of NLcompleteness with respect to a natural algebraic semantics of category hierarchies over free groupoidsGentzen-style formalismproduct-free subsystem
Related Items (8)
\(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures ⋮ Tree models and (labeled) categorial grammar ⋮ Multimodal linguistic inference ⋮ Categorial Grammars and Their Logics ⋮ k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures ⋮ Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms ⋮ Linear axiomatics of commutative product-free Lambek calculus ⋮ A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
This page was built for publication: