Type logics and pregroups

DOI10.1007/S11225-007-9083-4zbMATH Open1134.03014OpenAlexW2023151831MaRDI QIDQ2467212FDOQ2467212

Wojciech Buszkowski

Publication date: 21 January 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9083-4

zbMATH Keywords

substructural logicsLambek calculuspregroupcategorial grammartype logicbilinear algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Lambek calculus is NP-complete
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Free compact 2-categories
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)
• The Mathematics of Sentence Structure
• The Lambek calculus enriched with additional connectives
• Some Decision Problems in the Theory of Syntactic Categories
• Language in action. Categories, lambdas and dynamic logic
• Completeness Results for Lambek Syntactic Calculus
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models for the Lambek calculus
• Title not available (Why is that?)
• From semirings to residuated Kleene lattices
• Title not available (Why is that?)
• On Action Logic: Equational Theories of Action Algebras
• Commutation-augmented pregroup grammars and mildly context-sensitive languages
• Type grammars as pregroups
• Title not available (Why is that?)
• Sequent systems for compact bilinear logic
• Logical Aspects of Computational Linguistics
• Title not available (Why is that?)
• Should pregroup grammars be adorned with additional operations?
• Residuation, structural rules and context freeness
• Title not available (Why is that?)
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• Normal form of derivations in the nonassociative and commutative lambek calculus with product
• Title not available (Why is that?)
• Parsing pregroup grammars and Lambek calculus using partial composition
• On the logic of \(\beta\)-pregroups
• Title not available (Why is that?)

Cited In (11)

• Periodic lattice-ordered pregroups are distributive
• On Residuation
• Title not available (Why is that?)
• Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars
• Lattice-ordered pregroups are semi-distributive
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Title not available (Why is that?)
• Italian Clitic Patterns in Pregroup Grammar: State of the Art
• A geometrical representation of the basic laws of categorial grammar
• Automata, Languages and Programming
• Title not available (Why is that?)

   Recommendations

• Categorical logic and type theory 👍 👎
• Type grammars as pregroups 👍 👎
• Classical predicative logic-enriched type theories 👍 👎
• Title not available (Why is that?) 👍 👎
• Pregroup Calculus as a Logic Functor 👍 👎
• Types, Maps and Separation Logic 👍 👎
• Equivalences between logics and their representing type theories 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Type logics and pregroups

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