A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths (1996)

by Fairouz Kamareddine , Twan Laan
Venue:Journal of the Interest Group in Pure and Applied Logic 4(2
Citations:1 - 1 self

Active Bibliography

Journal of the IGPL – Volume Number March, Dov M. Gabbay, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
3 A formalization of the Ramified Type Theory – Twan Laan - 1994
3 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems – Fairouz Kamareddine, Twan Laan - 2001
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
From the Foundation of Mathematics to the Birth of Computation – Fairouz Kamareddine - 2011
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
The evolution of types and logic in the 20th century – Fairouz Kamareddine - 2005
(Typed) λ-Calculi à la de Bruijn – unknown authors - 2012
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
Um Ceclo de Computeraçao – Fairouz Kamareddine
3 Motivations for MathLang – Fairouz Kamareddine - 2005
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
MathLang, a framework for computerising mathematics – Fairouz Kamareddine - 2006
MathLang: A language for Mathematics – Fairouz Kamareddine - 2004
2 A Basic Extended Simple Type Theory – William M. Farmer - 2001
19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
2 Set Theory and Nominalisation, Part I – Fairouz Kamareddine - 1996
2 Set Theory and Nominalisation, Part II – Fairouz Kamareddine - 1992