A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (Q6541152)
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 linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points |
scientific article; zbMATH DE number 7850746
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points |
scientific article; zbMATH DE number 7850746 |
Statements
A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (English)
0 references
17 May 2024
0 references
\textsf{LL}
0 references
\(\mu \)-calculus
0 references
non-wellfounded proofs
0 references
cut elimination
0 references
