scientific article; zbMATH DE number 7533360
From MaRDI portal
Publication:5079760
DOI10.4230/LIPIcs.CSL.2018.35MaRDI QIDQ5079760
Alexis Saurin, Christine Tasson, Rémi Nollet
Publication date: 28 May 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed pointssequent calculuslinear logicinductioncoinductionfinitizationinfproof-searchcircular proofsnon-wellfounded proofsmuMALL
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Results on the propositional \(\mu\)-calculus
- The structure of multiplicatives
- On modal mu-calculus and Büchi tree automata
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic
- Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
- Sequent calculi for induction and infinite descent
- Least and Greatest Fixpoints in Game Semantics
- On the Proof Theory of Regular Fixed Points
- Towards Completeness via Proof Search in the Linear Time μ-calculus
- The size-change principle for program termination
- A Proof System for the Linear Time μ-Calculus
- Least and Greatest Fixed Points in Linear Logic
This page was built for publication:
