scientific article; zbMATH DE number 3251420
From MaRDI portal
Publication:5536273
zbMath0156.25402MaRDI QIDQ5536273
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (42)
\(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures ⋮ Unnamed Item ⋮ Meaning and interpretation. II ⋮ Meaning and interpretation. I ⋮ Algebraic structures in categorial grammar ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Hypergraph Basic Categorial Grammars ⋮ Combinatory categorial grammars as generators of weighted forests ⋮ One-Way Restarting Automata and Their Sensitivitys ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Unnamed Item ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Categorial grammars with iterated types form a strict hierarchy of \(k\)-valued languages ⋮ Major parts of speech ⋮ Categorial Grammars and Their Logics ⋮ Unnamed Item ⋮ What Is the Sense in Logic and Philosophy of Language ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ A polynomial algorithm for the membership problem with categorial grammars ⋮ Unnamed Item ⋮ Learning Lambek Grammars from Proof Frames ⋮ Logic and grammar ⋮ The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable ⋮ k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures ⋮ What is context for? Syntax in a non-abstract world ⋮ Semantic bootstrapping of type-logical grammar ⋮ On Meta-Knowledge and Truth ⋮ Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages ⋮ Generalized Categorial Dependency Grammars ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Unnamed Item ⋮ The tree-generative capacity of combinatory categorial grammars ⋮ Infinitary action logic with exponentiation ⋮ Subexponentials in non-commutative linear logic ⋮ Linguistic matrix theory ⋮ Machine Translation and Type Theory ⋮ Extensions of Lambek Calculi ⋮ The Mathematics of Text Structure ⋮ Categorial dependency grammars ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
This page was built for publication:
