A sequent calculus for a semi-associative law
From MaRDI portal
(Redirected from A sequent calculus for a semi-associative law)
Recommendations
Cites work
- A Census of Planar Triangulations
- A correspondence between rooted planar maps and normal planar lambda terms
- Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift
- Asymptotics and random sampling for BCI and BCK lambda terms
- Coherence for associativity not an isomorphism
- Coherence for skew-monoidal categories
- Counting rooted maps by genus. III: Nonseparable maps
- Description trees and Tutte formulas.
- Generatingfunctionology
- Homotopy Associativity of H-Spaces. I
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 2024859 (Why is no real title available?)
- scientific article; zbMATH DE number 3799719 (Why is no real title available?)
- scientific article; zbMATH DE number 2090063 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- scientific article; zbMATH DE number 3397788 (Why is no real title available?)
- Intervals in Catalan lattices and realizers of triangulations
- Linear lambda terms as invariants of rooted trivalent maps
- Logic Programming with Focusing Proofs in Linear Logic
- Monoïdes préordonnés et chaînes de Malcev
- On the number of intervals in Tamari lattices
- On the unity of duality
- Permutohedra and associahedra
- Planar triangulations, bridgeless planar maps and Tamari intervals
- Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
- Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
- Representable multicategories
- Rotation Distance, Triangulations, and Hyperbolic Geometry
- Skew monoidal categories and skew multicategories
- Skew-monoidal categories and bialgebroids.
- Structural cut elimination. I: Intuitionistic and classical logic
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- The Mathematics of Sentence Structure
- Triangulations, orientals, and skew monoidal categories
Cited in
(14)- Eilenberg-Kelly reloaded
- Coherence via focusing for symmetric skew monoidal categories
- The sequent calculus of skew monoidal categories
- Proof Theory of Partially Normal Skew Monoidal Categories
- scientific article; zbMATH DE number 7204452 (Why is no real title available?)
- Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
- A sequent calculus for a semi-associative law
- Proof theory of skew non-commutative \texttt{MILL}
- Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
- Semi-substructural logics à la Lambek
- Semi-substructural logics with additives
- Deductive systems and coherence for skew prounital closed categories
- Semi-substructural logics à la Lambek with symmetry
- Weak associativity and restricted rotation
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)
