A conservative extension of a formal arithmetic

zbMATH Open0689.03006MaRDI QIDQ1264136FDOQ1264136

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

Publication date: 1988

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

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (3)

• [Russian Text Ignored]
• Title not available (Why is that?)
• 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)