A conservative extension of a formal arithmetic

MaRDI QIDQ1264136zbMATH OpenFDO

Authors A. A. Kuzichev, A. S. Kuzichev

Publication date 1988

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

derivationsformal arithmeticconservative extensionsequent systems of illative \(\lambda \) -calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation
• [Russian Text Ignored]
• scientific article; zbMATH DE number 3557750
• scientific article; zbMATH DE number 3878894
• A normal form for logical derivations implying one for arithmetic derivations

Cited in

(3)

• scientific article; zbMATH DE number 3941504 (Why is no real title available?)
• [Russian Text Ignored]
• Paraconsistent intelligent systems of computer logics

This page was built for publication: A conservative extension of a formal arithmetic

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