Categorial Grammars and Their Logics

DOI10.1007/978-3-319-65430-0_6OpenAlexW2807865624MaRDI QIDQ4611658

Wojciech Buszkowski

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_6

zbMATH Keywords

typeLambek calculussubstructural logicparsingcategorial grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Hypergraph Basic Categorial Grammars

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Lambek calculus extended with intuitionistic propositional logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Linear logic
• Categorial languages and variable-binding operators
• Philosophy of syntax. Foundational topics
• Residuated lattices. An algebraic glimpse at substructural logics
• Lectures on the Curry-Howard isomorphism
• Essays in logical semantics
• Language in action. Categories, lambdas and dynamic logic
• Logical and philosophical ideas in certain formal approaches to language
• The Lambek calculus enriched with additional connectives
• Classical conservative extensions of Lambek calculus
• Classical non-associative Lambek calculus
• Models for the Lambek calculus
• Decidable and undecidable logics with a binary modality
• Extending Lambek grammars to basic categorial grammars
• Multimodal linguistic inference
• Categorial dependency grammars
• Lambek calculus is NP-complete
• A Learnable Representation for Syntax Using Residuated Lattices
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• Phrase Structure Languages Generated by Categorial Grammars With Product
• Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
• Some Decision Problems in the Theory of Syntactic Categories
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Deductive systems and categories

This page was built for publication: Categorial Grammars and Their Logics