scientific article; zbMATH DE number 3781165

MaRDI QIDQ3960845zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1982

zbMATH Keywords

beta rulecomplete cut-elimination for inductive definitionsdilatorgeneralized recursionladderpi-one-two-logicproof theorysequent calculus

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70) Descriptive set theory (03E15) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Categorical logic, topoi (03G30)

Cited in

(4)

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• Petri nets, Horn programs, linear logic and vector games
• Levels of truth
• Linear logic automata

This page was built for publication:

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