Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

DOI10.1093/LOGCOM/EXQ017zbMath1234.03007OpenAlexW1989156455WikidataQ58127028 ScholiaQ58127028MaRDI QIDQ3006121

Paul Oppenheimer, Edward N. Zalta

Publication date: 10 June 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/78ca96f497b8df9fe5f67f4f90413ffca307a41f

zbMATH Keywords

functional type theorytype theoryautomated theorem provingfoundations of logiclambda-abstractionrelational type theorytheory of abstract objects

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Automating Leibniz’s Theory of Concepts ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY

Uses Software

• ETPS
• Unnamed Item

This page was built for publication: Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations