A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
type: Item
instance of: scholarly article
title: A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
DOI: 10.1007/978-3-031-43513-3_12
author: Alexis Saurin
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850746
zbMATH Keywords: \textsf{LL}
zbMATH Keywords: \(\mu \)-calculus
zbMATH Keywords: non-wellfounded proofs
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
cites work: On closure ordinals for the modal mu−calculus
cites work: Least and Greatest Fixed Points in Linear Logic
cites work: Q5278431
cites work: Automated Cyclic Entailment Proofs in Separation Logic
cites work: Sequent calculi for induction and infinite descent
cites work: Syntactic cut-elimination for a fragment of the modal mu-calculus
cites work: A new deconstructive logic: linear logic
cites work: Q5079743
cites work: A Proof System for the Linear Time μ-Calculus
cites work: Q5144621
cites work: Q4600775
cites work: Q2958526
cites work: Linear logic
cites work: Results on the propositional \(\mu\)-calculus
cites work: A finite model theorem for the propositional \(\mu\)-calculus
cites work: Q5638283
cites work: Q3075441
cites work: Q4738237
cites work: Q4799892
description: scientific article; zbMATH DE number 7850746