On the equivalence of systems of rules and systems of axioms in illative combinatory logic

DOI10.1305/ndjfl/1093882666zbMath0349.02020OpenAlexW2100197029WikidataQ114598282 ScholiaQ114598282MaRDI QIDQ1234672

Martin W. Bunder

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882666

zbMATH Keywords

CONSISTENCYILLATIVE COMBINATORY LOGIC

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

A one axiom set theory based on higher order predicate calculus ⋮ Equivalences between pure type systems and systems of illative combinatory logic