33 results
EPSILON THEOREMS IN INTERMEDIATE LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 10 January 2022, pp. 682-720
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
UNSOUND INFERENCES MAKE PROOFS SHORTER
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 102-122
- Print publication:
- March 2019
-
- Article
- Export citation
Infinite-valued G?del Logics with 0-1-Projections and Relativizations
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 23-33
-
- Chapter
- Export citation
On the complexity of proof deskolemization
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-686
- Print publication:
- June 2012
-
- Article
- Export citation
Short Biography of Kurt Gödel
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp xix-xxiv
-
- Chapter
- Export citation
II - A Wider Vision: The Interdisciplinary, Philosophical, and Theological Implications of Gödel's Work
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 253-254
-
- Chapter
- Export citation
Gödel and Computer Science
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 473-474
-
- Chapter
- Export citation
Index
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 509-515
-
- Chapter
- Export citation
Gödel and the Higher Infinite
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 447-448
-
- Chapter
- Export citation
Contributors
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp xi-xii
-
- Chapter
- Export citation
Gödel and the Human Mind
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 323-324
-
- Chapter
- Export citation
Contents
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp vii-x
-
- Chapter
- Export citation
III - New Frontiers: Beyond Gödel's Work in Mathematics and Symbolic Logic
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 359-360
-
- Chapter
- Export citation
I - Historical Context: Gödel's Contributions and Accomplishments
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 1-2
-
- Chapter
- Export citation
Gödel's Legacy: A Historical Perspective
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 55-56
-
- Chapter
- Export citation
The Past and Future of Computation
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 135-136
-
- Chapter
- Export citation
The Realm of Set Theory
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 433-434
-
- Chapter
- Export citation
Preface
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp xv-xvi
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp xvii-xviii
-
- Chapter
- Export citation
Gödel and the Mathematics of Philosophy
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 297-298
-
- Chapter
- Export citation