scientific article; zbMATH DE number 7204452

DOI10.4230/LIPICS.FSCD.2017.33MaRDI QIDQ5111331zbMATH OpenFDO

Authors Noam Zeilberger

Publication date 26 May 2020

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)

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

Cites work

• scientific article; zbMATH DE number 2090063 (Why is no real title available?)
• scientific article; zbMATH DE number 7204452 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• 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
• Coherence for associativity not an isomorphism
• Counting rooted maps by genus. III: Nonseparable maps
• Description trees and Tutte formulas.
• Homotopy Associativity of H-Spaces. I
• 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
• 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
• Rotation Distance, Triangulations, and Hyperbolic Geometry
• Skew-closed categories
• Skew-monoidal categories and bialgebroids.
• The Mathematics of Sentence Structure
• The On-Line Encyclopedia of Integer Sequences
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Triangulations, orientals, and skew monoidal categories

Cited in

(4)

• A sequent calculus for a semi-associative law
• The sequent calculus of skew monoidal categories
• The sequent calculus of skew monoidal categories
• scientific article; zbMATH DE number 7204452 (Why is no real title available?)

Describes a project that uses

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)