Cumulative Higher-Order Logic as a Foundation for Set Theory

Cached

Download Links

by Wolfgang Degen , Jan Johannsen
Citations:2 - 1 self

Active Bibliography

3 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems – Fairouz Kamareddine, Twan Laan - 2001
21 Proof Transformations in Higher-Order Logic – Frank Pfenning - 1987
1 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths – Fairouz Kamareddine, Twan Laan - 1996
3 A formalization of the Ramified Type Theory – Twan Laan - 1994
Completeness Results for . . . – Mark Kaminski - 2006
1 What Is Logic? – Jaakko Hintikka, Gabriel Sandu
19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
5 The Discovery Of My Completeness Proofs – Leon Henkin, Alonzo Church - 1996
1 Collections, Sets and Types – Gilles Dowek - 1995
Complete Cut-Free Tableaux for Equational Simple Type Theory – Chad E. Brown, Gert Smolka - 2009
7 A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic – W. W. Tait - 1966
3 Truth Definitions, Skolem Functions And Axiomatic Set Theory – Jaakko Hintikka - 1998
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
18 Higher Order Logic – Daniel Leivant - 1994
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
2 A Basic Extended Simple Type Theory – William M. Farmer - 2001
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
4 Reflections on Skolem's Paradox – Timothy Bays