scientific article; zbMATH DE number 3719132

MaRDI QIDQ3909044zbMATH OpenFDO

Authors D. M. R. Leivant

Publication date 1979

zbMATH Keywords

intuitionismnormalization theoremsproof theoryRosser sentencessemi-formal systems of natural deduction

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55)

Cited in

(9)

• Arithmetic transfinite induction and recursive well-orderings
• Sequent calculi for intuitionistic Gödel-Löb logic
• Hard provability logics
• scientific article; zbMATH DE number 3563037 (Why is no real title available?)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\)
• Rules and arithmetics
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• The \(\Sigma_1\)-provability logic of HA revisited
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)

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 Q3909044)