scientific article
From MaRDI portal
Publication:3960845
zbMath0496.03038MaRDI QIDQ3960845
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculusproof theoryladderdilatorgeneralized recursionpi-one-two-logicbeta rulecomplete cut-elimination for inductive definitions
Descriptive set theory (03E15) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70)
Related Items (4)
Petri nets, Horn programs, linear logic and vector games ⋮ Levels of truth ⋮ Linear logic automata ⋮ Set recursion and \(\Pi ^ 1_ 2\)-logic
This page was built for publication:
