Publication:3035262
From MaRDI portal
zbMath0693.03014MaRDI QIDQ3035262
Publication date: 1988
finite axiomatization; deductive power; non-associative Lambek calculus; axiomatization of NL; completeness with respect to a natural algebraic semantics of category hierarchies over free groupoids; Gentzen-style formalism; product-free subsystem
03B99: General logic
Related Items
Categorial Grammars and Their Logics, k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures, A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi, Tree models and (labeled) categorial grammar, Multimodal linguistic inference, Linear axiomatics of commutative product-free Lambek calculus, \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures, Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms