Categorial grammars and their logics

DOI10.1007/978-3-319-65430-0_6MaRDI QIDQ4611658zbMATH OpenOpenAlexFDO

Authors 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

categorial grammarLambek calculusparsingsubstructural logictype

Mathematics Subject Classification ID

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

Recommendations

• Categorial grammar and type theory
• scientific article; zbMATH DE number 4002072
• scientific article; zbMATH DE number 4162855
• A tale of four grammars
• On Two Extensions of Abstract Categorial Grammars

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A learnable representation for syntax using residuated lattices
• Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
• Categorial dependency grammars
• Categorial languages and variable-binding operators
• Classical conservative extensions of Lambek calculus
• Classical non-associative Lambek calculus
• Decidable and undecidable logics with a binary modality
• Deductive systems and categories
• Essays in logical semantics
• Extending Lambek grammars to basic categorial grammars
• From word to sentence. A computational algebraic approach to grammar
• scientific article; zbMATH DE number 4134014 (Why is no real title available?)
• scientific article; zbMATH DE number 3148870 (Why is no real title available?)
• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 3179944 (Why is no real title available?)
• scientific article; zbMATH DE number 46160 (Why is no real title available?)
• scientific article; zbMATH DE number 1341534 (Why is no real title available?)
• scientific article; zbMATH DE number 700092 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 1786547 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 3230266 (Why is no real title available?)
• scientific article; zbMATH DE number 3251420 (Why is no real title available?)
• Lambek calculus is NP-complete
• Language in action. Categories, lambdas and dynamic logic
• Lectures on the Curry-Howard isomorphism
• Linear logic
• Logical and philosophical ideas in certain formal approaches to language
• Models for the Lambek calculus
• Multimodal linguistic inference
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Philosophy of syntax. Foundational topics
• Phrase Structure Languages Generated by Categorial Grammars With Product
• Quantales and (noncommutative) linear logic
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Some Decision Problems in the Theory of Syntactic Categories
• The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• The Lambek calculus enriched with additional connectives
• The Lambek calculus extended with intuitionistic propositional logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Mathematics of Sentence Structure
• Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

Cited in

(18)

• A tale of four grammars
• Editorial introduction to the special issue on categorial grammars and pregroups
• Categorial grammars determined from linguistic data by unification
• Unique typed basic categorial grammars
• Categorial grammars with negative information
• Categorial Grammars and Minimalist Grammars
• scientific article; zbMATH DE number 4134012 (Why is no real title available?)
• scientific article; zbMATH DE number 4203750 (Why is no real title available?)
• scientific article; zbMATH DE number 4209619 (Why is no real title available?)
• On categorial grammars as logical information systems
• scientific article; zbMATH DE number 3957068 (Why is no real title available?)
• scientific article; zbMATH DE number 4002071 (Why is no real title available?)
• scientific article; zbMATH DE number 1233727 (Why is no real title available?)
• scientific article; zbMATH DE number 1523041 (Why is no real title available?)
• Hypergraph basic categorial grammars
• scientific article; zbMATH DE number 3393742 (Why is no real title available?)
• Closed categories and categorial grammar
• Categorial grammar and type theory

This page was built for publication: Categorial grammars and their logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4611658)