On the Proof Theory of Regular Fixed Points

DOI10.1007/978-3-642-02716-1_8MaRDI QIDQ3648723zbMATH OpenOpenAlexFDO

Authors David Baelde

Publication date 1 December 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00772502/file/baelde09tableaux.pdf

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 2147687
• Fixed point theorems in constructive mathematics
• scientific article; zbMATH DE number 3996634
• Publication:4734479
• On some fixed point theorems
• On some fixed point theorems
• On Tarski’s fixed point theorem
• scientific article; zbMATH DE number 4084553
• scientific article; zbMATH DE number 4151184

Cited in

(4)

• Local validity for circular proofs in linear logic with fixed points
• Cut elimination for a logic with induction and co-induction
• Cyclic arithmetic is equivalent to Peano arithmetic
• Cyclic proofs for transfinite expressions

This page was built for publication: On the Proof Theory of Regular Fixed Points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648723)