Cut theorem for R-theories in combinatorially complete systems

From MaRDI portal

(Redirected from Publication:1259577)
Cut theorem for \(\mathfrak R\)-theories in combinatorially complete systems

Jump to:navigation, search

MaRDI QIDQ1259577zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1977

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

zbMATH Keywords

combinatory logic admissibility of a cut combinatorially complete systems deductive 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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Cut_theorem_for_%5C(%5Cmathfrak_R%5C)-theories_in_combinatorially_complete_systems&oldid=70487841"