Truth Definitions, Skolem Functions And Axiomatic Set Theory (1998)

Cached

Download Links

by Jaakko Hintikka
Venue:Bulletin of Symbolic Logic
Citations:3 - 0 self

Active Bibliography

1 What Is Logic? – Jaakko Hintikka, Gabriel Sandu
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
The continuous and the infinitesimal . . . – John L. Bell - 2005
Why Husserl should have been a strong revisionist in mathematics ∗ – M. Van Atten - 2000
Zermelo's Well-Ordering Theorem in Type Theory – Danko Ilik
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
History of Constructivism in the 20th Century – A.S. Troelstra
Cohesiveness – John L. Bell - 2009
2 Cumulative Higher-Order Logic as a Foundation for Set Theory – Wolfgang Degen, Jan Johannsen
3 The Development of Categorical Logic – John L. Bell
1 The Constructive Foundations of the System eb – D. E. Stevenson - 1996
44 A model for deliberation, action, and introspection – Jon Doyle - 1980
Connected Mathematics -- Building . . . with Mathematical Knowledge – Uriel Joseph Wilensky - 1993
1 Automated theorem proving: mapping logic into AI – D. W. Loveland - 1986
3 Strong Determinism vs. Computability – David Hawkins, Cristian Calude, Douglas I. Campbell, Karl Svozil - 1995
Description PHIL 478: Philosophical Logic Fall Semester, 2006 – Instructor J. Horty
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
21 Type Theory and Programming – Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow - 1994
Neural-Logic Belief Networks (NLBN) – Boon Toh Low, Norman Y. Foo - 1994