Type logics and pregroups
From MaRDI portal
Publication:2467212
Recommendations
- Categorical logic and type theory
- Type grammars as pregroups
- Classical predicative logic-enriched type theories
- scientific article; zbMATH DE number 1342281
- Pregroup Calculus as a Logic Functor
- Types, Maps and Separation Logic
- Equivalences between logics and their representing type theories
- scientific article; zbMATH DE number 1175489
- scientific article; zbMATH DE number 516994
Cites work
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 5289967 (Why is no real title available?)
- scientific article; zbMATH DE number 4002074 (Why is no real title available?)
- scientific article; zbMATH DE number 4035792 (Why is no real title available?)
- scientific article; zbMATH DE number 1341534 (Why is no real title available?)
- scientific article; zbMATH DE number 976409 (Why is no real title available?)
- scientific article; zbMATH DE number 1953885 (Why is no real title available?)
- scientific article; zbMATH DE number 1786547 (Why is no real title available?)
- scientific article; zbMATH DE number 823607 (Why is no real title available?)
- scientific article; zbMATH DE number 842687 (Why is no real title available?)
- scientific article; zbMATH DE number 1406803 (Why is no real title available?)
- scientific article; zbMATH DE number 1406811 (Why is no real title available?)
- scientific article; zbMATH DE number 3254899 (Why is no real title available?)
- Commutation-augmented pregroup grammars and mildly context-sensitive languages
- Completeness Results for Lambek Syntactic Calculus
- Free compact 2-categories
- From semirings to residuated Kleene lattices
- Lambek calculus is NP-complete
- Language and grammar. Studies in mathematical linguistics and natural language
- Language in action. Categories, lambdas and dynamic logic
- Linear logic
- Logical Aspects of Computational Linguistics
- Models for the Lambek calculus
- Normal form of derivations in the nonassociative and commutative lambek calculus with product
- On Action Logic: Equational Theories of Action Algebras
- On the logic of \(\beta\)-pregroups
- Parsing pregroup grammars and Lambek calculus using partial composition
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Quantales and (noncommutative) linear logic
- Residuation, structural rules and context freeness
- Sequent systems for compact bilinear logic
- Should pregroup grammars be adorned with additional operations?
- Some Decision Problems in the Theory of Syntactic Categories
- The Lambek calculus enriched with additional connectives
- The Mathematics of Sentence Structure
- The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
- Type grammars as pregroups
Cited in
(15)- Weyl's predicative classical mathematics as a logic-enriched type theory
- scientific article; zbMATH DE number 1786547 (Why is no real title available?)
- Cyclic properties: from linear logic to pregroups
- On the logic of \(\beta\)-pregroups
- Periodic lattice-ordered pregroups are distributive
- scientific article; zbMATH DE number 2111978 (Why is no real title available?)
- A geometrical representation of the basic laws of categorial grammar
- Automata, Languages and Programming
- Pregroup Calculus as a Logic Functor
- Word order alternation in Sanskrit via precyclicity in pregroup grammars
- scientific article; zbMATH DE number 1342281 (Why is no real title available?)
- A modular and parameterized presentation of pregroup calculus
- On Residuation
- Italian clitic patterns in pregroup grammar: state of the art
- Lattice-ordered pregroups are semi-distributive
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)
