Extensions of Lambek calculi
From MaRDI portal
Publication:5014595
DOI10.1007/978-3-030-66545-6_4zbMATH Open1500.03008OpenAlexW3136905166MaRDI QIDQ5014595FDOQ5014595
Authors: Wojciech Buszkowski 
Publication date: 8 December 2021
Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-66545-6_4
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Modal logic
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Lambek calculus is NP-complete
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Lattices and ordered algebraic structures
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Free compact 2-categories
- Quantales and (noncommutative) linear logic
- From word to sentence. A computational algebraic approach to grammar
- The finite model property for various fragments of intuitionistic linear logic
- Title not available (Why is that?)
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- The Mathematics of Sentence Structure
- Title not available (Why is that?)
- Distributive full Lambek calculus has the finite model property
- Interpolation and FEP for logics of residuated algebras
- The Lambek calculus extended with intuitionistic propositional logic
- Some Decision Problems in the Theory of Syntactic Categories
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Language in action. Categories, lambdas and dynamic logic
- Deductive systems and categories
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Multimodal linguistic inference
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the finite embeddability property for residuated ordered groupoids
- Logics without the contraction rule
- Models for the Lambek calculus
- Constructive logic with strong negation is a substructural logic. I
- Title not available (Why is that?)
- Classical non-associative Lambek calculus
- Disjunction property and complexity of substructural logics
- The finite model property for various fragments of linear logic
- On Action Logic: Equational Theories of Action Algebras
- Some lattice models of bilinear logic
- Title not available (Why is that?)
- Relation algebras as residuated Boolean algebras
- Constructive logic with strong negation is a substructural logic. II
- Language and grammar. Studies in mathematical linguistics and natural language
- Sequent systems for compact bilinear logic
- Decidable and undecidable logics with a binary modality
- Residuation, structural rules and context freeness
- Undecidability of consequence relation in full non-associative Lambek calculus
- On the complexity of the equational theory of residuated Boolean algebras
- On classical nonassociative Lambek calculus
- Title not available (Why is that?)
- Lambek grammars with the unit
- Classical conservative extensions of Lambek calculus
- Relation algebras as expanded FL-algebras
- On involutive nonassociative Lambek calculus
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
- Title not available (Why is that?)
- Some syntactic interpretations in different systems of full Lambek calculus
Cited In (25)
- Type similarity for the Lambek-Grishin calculus revisited
- Classical conservative extensions of Lambek calculus
- Hybrid categorial type logics and the formal treatment of Chinese
- Sequent-systems and groupoid models. I
- Proof-theoretic aspects of hybrid type-logical grammars
- Polarized classical non-associative Lambek calculus and formal semantics
- Full Lambek Calculus in natural deduction
- Logical foundations for hybrid type-logical grammars
- Multi-sorted residuation
- Theory and Applications of Relational Structures as Knowledge Instruments
- A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
- On Lambek's restriction in the presence of exponential modalities
- De Morgan interpretation of the Lambek-Grishin calculus
- Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
- On associative Lambek calculus extended with basic proper axioms
- Joachim Lambek: the interplay of mathematics, logic, and linguistics
- Multimodality in the Hypergraph Lambek Calculus
- Title not available (Why is that?)
- Iterative division in the distributive full non-associative Lambek calculus
- Extended Lambek calculi and first-order linear logic
- Title not available (Why is that?)
- Lambek calculus with restricted contraction and expansion
- A rule-extension of the non-associative Lambek calculus
- Extraction in the Lambek-Grishin Calculus
- Some syntactic interpretations in different systems of full Lambek calculus
This page was built for publication: Extensions of Lambek calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014595)
