scientific article; zbMATH DE number 6748891
From MaRDI portal
Publication:5278431
DOI10.4230/LIPIcs.CSL.2016.42zbMath1370.03077MaRDI QIDQ5278431
Alexis Saurin, David Baelde, Amina Doumane
Publication date: 19 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Substructural Proofs as Automata ⋮ Unnamed Item ⋮ Cyclic Arithmetic Is Equivalent to Peano Arithmetic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs ⋮ Non-well-founded deduction for induction and coinduction ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ Cyclic proofs, hypersequents, and transitive closure logic
