A sequent calculus for a semi-associative law
From MaRDI portal
Publication:4625697
Authors: Noam Zeilberger 
Publication date: 25 February 2019
Full work available at URL: https://arxiv.org/abs/1803.10080
Recommendations
Cites Work
- Title not available (Why is that?)
- Generatingfunctionology
- Homotopy Associativity of H-Spaces. I
- Representable multicategories
- Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
- Title not available (Why is that?)
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Title not available (Why is that?)
- Rotation Distance, Triangulations, and Hyperbolic Geometry
- Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift
- The Mathematics of Sentence Structure
- Skew monoidal categories and skew multicategories
- Skew-monoidal categories and bialgebroids.
- Description trees and Tutte formulas.
- Title not available (Why is that?)
- A Census of Planar Triangulations
- Logic Programming with Focusing Proofs in Linear Logic
- Counting rooted maps by genus. III: Nonseparable maps
- Asymptotics and random sampling for BCI and BCK lambda terms
- Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
- Intervals in Catalan lattices and realizers of triangulations
- Coherence for associativity not an isomorphism
- On the number of intervals in Tamari lattices
- On the unity of duality
- Monoïdes préordonnés et chaînes de Malcev
- Structural cut elimination. I: Intuitionistic and classical logic
- Triangulations, orientals, and skew monoidal categories
- Permutohedra and Associahedra
- Coherence for Skew-Monoidal Categories
- Planar triangulations, bridgeless planar maps and Tamari intervals
- A correspondence between rooted planar maps and normal planar lambda terms
- Linear lambda terms as invariants of rooted trivalent maps
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- The Sequent Calculus of Skew Monoidal Categories
- Weak associativity and restricted rotation
- Eilenberg-Kelly reloaded
- Coherence via focusing for symmetric skew monoidal categories
- Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
- Proof theory of skew non-commutative \texttt{MILL}
- Proof Theory of Partially Normal Skew Monoidal Categories
- A sequent calculus for a semi-associative law
Uses Software
This page was built for publication: A sequent calculus for a semi-associative law
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4625697)
