The system CΔ of combinatory logic

DOI10.2307/2271340zbMath0129.25701OpenAlexW2577602670MaRDI QIDQ5338314

Frederic B. Fitch

Publication date: 1964

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

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

zbMATH Keywords

mathematical logic

Related Items

Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, CAN MODALITIES SAVE NAIVE SET THEORY?, The Operational Perspective: Three Routes, Abstraction in Fitch's Basic Logic, Property theory: The type-free approach \(v\). The Church approach, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic

Cites Work

• A mathematical logic without variables. I