A consistent combinatory logic with an inverse to equality

DOI10.2307/2273420zbMath0445.03003OpenAlexW2125432900MaRDI QIDQ3889022

Frederic B. Fitch

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273420

zbMATH Keywords

consistencyarithmeticcombinatory logicRussell paradoxinverse to equality

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Property theory: The type-free approach \(v\). The Church approach

Cites Work

• Combinatory logic. Vol. II
• The Heine-Borel theorem in extended basic logic
• A demonstrably consistent mathematics—Part I

This page was built for publication: A consistent combinatory logic with an inverse to equality