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
proof theorycut eliminationnormalizationconservativitypredicate logicepistemic arithmeticPruningHeyting arithmeticintuitionistic propositional calculusderivable formulacoherence theoremsmodal extensionapplications of proof-theoretic transformationcomputer program optimizationinfinitary natural deductionNovikov's hypothesistransformation of proofs
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)
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)