Infinets: the parallel syntax for non-wellfounded proof-theory

DOI10.1007/978-3-030-29026-9_17zbMath1468.03032OpenAlexW2953934790MaRDI QIDQ2180524

Abhishek De, Alexis Saurin

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_17

zbMATH Keywords

fixed points\(\mu\)-calculuslinear logicproof-netscircular proofsinduction and coinductionnon-wellfounded proofs

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Unnamed Item

This page was built for publication: Infinets: the parallel syntax for non-wellfounded proof-theory