scientific article
From MaRDI portal
Publication:3909044
zbMath0459.03024MaRDI QIDQ3909044
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryintuitionismRosser sentencesnormalization theoremssemi-formal systems of natural deduction
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55)
Related Items
Unnamed Item ⋮ Hard provability logics ⋮ Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Rules and arithmetics ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ THE -PROVABILITY LOGIC OF ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Arithmetic transfinite induction and recursive well-orderings
