A mathematical logic without variables. I

DOI10.2307/1968669MaRDI QIDQ1840346zbMATH OpenOpenAlexFDO

Authors J. Barkley Rosser

Publication date 1935

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(15)

• Arithmetic based on the Church numerals in illative combinatory logic
• A first-order logic with no logical constants
• On adding (ξ) to weak equality in combinatory logic
• scientific article; zbMATH DE number 3672268 (Why is no real title available?)
• An abstract Church-Rosser theorem. II: Applications
• Standard and Normal Reductions
• Step by Recursive Step: Church's Analysis of Effective Calculability
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• The system CΔ of combinatory logic
• A system of formal logic without an analogue to the curry W operator
• A revision of the fundamental rules of combinatory logic
• Consistency and completeness of the theory of combinators
• New sets of postulates for combinatory logics
• How to normalize the Jay
• Capacity of the regular polyhedra

This page was built for publication: A mathematical logic without variables. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840346)