scientific article; zbMATH DE number 7204452

DOI10.4230/LIPICS.FSCD.2017.33zbMATH Open1434.03140MaRDI QIDQ5111331FDOQ5111331

Noam Zeilberger

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

Recommendations

• A sequent calculus for a semi-associative law
• On Tamari lattices
• Counting smaller trees in the Tamari order
• On the number of intervals in Tamari lattices

zbMATH Keywords

combinatoricsproof theorysubstructural logiccoherence theorem

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Combinatorics of partially ordered sets (06A07) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• The On-Line Encyclopedia of Integer Sequences
• Homotopy Associativity of H-Spaces. I
• Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
• 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 bialgebroids.
• Description trees and Tutte formulas.
• A Census of Planar Triangulations
• Logic Programming with Focusing Proofs in Linear Logic
• Counting rooted maps by genus. III: Nonseparable maps
• 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
• Skew-closed categories
• Triangulations, orientals, and skew monoidal categories
• Planar triangulations, bridgeless planar maps and Tamari intervals
• Title not available (Why is that?)
• 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?)

Cited In (3)

• The Sequent Calculus of Skew Monoidal Categories
• The sequent calculus of skew monoidal categories
• Title not available (Why is that?)

Uses Software

• OEIS

This page was built for publication:

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