A system of formal logic without an analogue to the curry W operator

DOI10.2307/2269029zbMath0015.24101OpenAlexW2014459135MaRDI QIDQ5764365

Frederic B. Fitch

Publication date: 1936

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

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

zbMATH Keywords

Foundations, philosophy, logic

Related Items

Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends, Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut, Modal translations in substructural logics, Abstraction in Fitch's Basic Logic

Cites Work

• The universal quantifier in combinatory logic
• Apparent variables from the standpoint of combinatory logic
• A mathematical logic without variables. I
• A mathematical logic without variables. II