On the infinitary proof theory of logics with fixed points. (Théorie de la démonstration infinitaire pour les logiques à points fixes)

Abstract

The subject of this thesis is the proof theory of logics with fixed points, such as the μ-calculus, linear-logic with fixed points, etc. These logics are usually equipped with finitary deductive systems that rely on Park’s rules for induction. other proof systems for these logics exist, which rely on infinitary proofs, but they are much less developped… (More)

Topics

28 Figures and Tables

Slides referencing similar topics