scientific article; zbMATH DE number 4004176

MaRDI QIDQ3755451zbMATH OpenFDO

Authors G. E. Mints

Publication date 1986

zbMATH Keywords

applications of proof-theoretic transformationcoherence theoremscomputer program optimizationconservativitycut eliminationderivable formulaepistemic arithmeticHeyting arithmeticinfinitary natural deductionintuitionistic propositional calculusmodal extensionnormalizationNovikov's hypothesispredicate logicproof theoryPruningtransformation of proofs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Functionals in proof theory (03F10) Intuitionistic mathematics (03F55) Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 48365
• scientific article; zbMATH DE number 1231696
• scientific article; zbMATH DE number 949290
• A connection between cut elimination and normalization
• Consistency of Heyting arithmetic in natural deduction

Cited in

(2)

• scientific article; zbMATH DE number 48365 (Why is no real title available?)
• scientific article; zbMATH DE number 218499 (Why is no real title available?)

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