scientific article; zbMATH DE number 4004176

MaRDI QIDQ3755451zbMATH OpenFDO

Authors G. E. Mints

Publication date 1986

zbMATH Keywords

infinitary natural deductiontransformation of proofsPruningproof theorypredicate logicNovikov's hypothesisnormalizationmodal extensionintuitionistic propositional calculusapplications of proof-theoretic transformationHeyting arithmeticepistemic arithmeticderivable formulacut eliminationconservativitycomputer program optimizationcoherence theorems

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)