A conservative extension of a formal arithmetic

zbMath0689.03006MaRDI QIDQ1264136

A. S. Kuzichev, A. A. Kuzichev

Publication date: 1988

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

zbMATH Keywords

derivationsconservative extensionformal arithmeticsequent systems of illative \(\lambda \) -calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Paraconsistent intelligent systems of computer logics

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