Systems of combinatory logic related to Quine's `New Foundations'

DOI10.1016/0168-0072(91)90052-NzbMath0733.03009MaRDI QIDQ809994

M. Randall Holmes

Publication date: 1991

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

New Foundationsbracket abstractionpairing operatorsTRCtype-respecting combinatorsur-elementsweak system of pure combinatory logic

Mathematics Subject Classification ID

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

Related Items (6)

Inception of Quine's ontology ⋮ OTTER experiments in a system of combinatory logic ⋮ The Cardinal Squaring Principle and an Alternative Axiomatization of NFU ⋮ Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations ⋮ Some results on combinators in the system TRC ⋮ Systems of combinatory logic related to Quine's `New Foundations'

Cites Work

• Systems of combinatory logic related to Quine's `New Foundations'
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The consistency problem for NF
• Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”
• Permutation methods applied to Quine's “New foundations”
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• On ordered pairs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Systems of combinatory logic related to Quine's `New Foundations'