Cut theorem for R-theories in combinatorially complete systems

zbMATH Open0411.03011MaRDI QIDQ1259577FDOQ1259577

Authors: A. S. Kuzichev 

Publication date: 1977

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

zbMATH Keywords

combinatory logicadmissibility of a cutcombinatorially complete systemsdeductive system of lambda conversion

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Cut theorem for \(\mathfrak R\)-theories in combinatorially complete systems

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