scientific article; zbMATH DE number 7297862
From MaRDI portal
Publication:5144661
zbMath1452.03129MaRDI QIDQ5144661
Makoto Tatsuta, Stefano Berardi
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330049
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Abstract cyclic proofs ⋮ Unnamed Item ⋮ Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs ⋮ Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
This page was built for publication:
