A sequent calculus for a semi-associative law (Q4625697)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A sequent calculus for a semi-associative law |
scientific article; zbMATH DE number 7029308
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A sequent calculus for a semi-associative law |
scientific article; zbMATH DE number 7029308 |
Statements
25 February 2019
0 references
proof theory
0 references
combinatorics
0 references
associativity
0 references
Tamari lattice
0 references
coherence theorem
0 references
0 references
0 references
0 references
0.7270392775535583
0 references
0.7255312204360962
0 references
0.6898109912872314
0 references
0.6883136034011841
0 references
