scientific article; zbMATH DE number 4004176

zbMATH Open0619.03036MaRDI QIDQ3755451FDOQ3755451

Authors: G. E. Mints 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

proof theorycut eliminationnormalizationconservativitypredicate logicepistemic arithmeticPruningHeyting arithmeticintuitionistic propositional calculusderivable formulacoherence theoremsmodal extensionapplications of proof-theoretic transformationcomputer program optimizationinfinitary natural deductionNovikov's hypothesistransformation of proofs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) 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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Foundations, relations to logic and deductive systems (18A15) Functionals in proof theory (03F10)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)