E theorems

DOI10.1007/BF01091552MaRDI QIDQ1256459zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 1977

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01091552

zbMATH Keywords

Cut-EleminationIntuitionistic ArithmeticRecursive Realizability

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3425153 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Some applications of Gentzens second consistency proof
• Untersuchungen über das logische Schliessen. I

Cited in

(1)

• Proof Search Tree and Cut Elimination

This page was built for publication: E theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1256459)