Predicate calculus and naive set theory in pure combinatory logic

DOI10.1007/BF02011642zbMath0472.03011MaRDI QIDQ3926550

Martin W. Bunder

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137984

zbMATH Keywords

combinatory logic with equality

Mathematics Subject Classification ID

Classical first-order logic (03B10) Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40)

Cites Work

• A paradox in illative combinatory logic
• A simplification of combinatory logic
• Propositional and predicate calculus based on combinatory logic
• Various systems of set theory based on combinatory logic

This page was built for publication: Predicate calculus and naive set theory in pure combinatory logic