Parsing/theorem-proving for logical grammar \textit{CatLog3}

DOI10.1007/s10849-018-09277-wzbMath1478.68416OpenAlexW2910764484MaRDI QIDQ2425322

Glyn Morrill

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-018-09277-w

zbMATH Keywords

focusingparsing-as-deductioncount-invariancegrammar-as-logiclogical categorial grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Grammars and rewriting systems (68Q42) Natural language processing (68T50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Natural language semantics and computability, Explorations in Subexponential Non-associative Non-commutative Linear Logic, The multiplicative-additive Lambek calculus with subexponential and bracket modalities, CatLog3, Non-associative, non-commutative multi-modal linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Linear logic
• Infinitary action logic: complexity, models and grammars
• The Lambek calculus enriched with additional connectives
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• Soft linear logic and polynomial time
• The displacement calculus
• Anaphora and type logical grammar
• Uniform proofs as a foundation for logic programming
• Proof Nets for the Displacement Calculus
• Logic Programming of the Displacement Calculus
• The Blind Spot
• The Mathematics of Sentence Structure
• On Action Logic: Equational Theories of Action Algebras
• Dutch Grammar and Processing: A Case Study in TLG
• Logic Programming with Focusing Proofs in Linear Logic
• Multimodal Linguistic Inference
• Semantically Inactive Multiplicatives and Words as Types
• A Count Invariant for Lambek Calculus with Additives and Bracket Modalities
• Proof Nets for Basic Discontinuous Lambek Calculus
• Extended Lambek Calculi and First-Order Linear Logic
• Bracket induction for Lambek calculus with bracket modalities