Lecture Notes in Logic - Gödel ’96
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540614340, 9783662219638

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Forcing on Bounded Arithmetic

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_8 ◽

1996 ◽

pp. 120-138 ◽

Cited By ~ 2

Author(s):

Gaisi Takeuti ◽

Masahiro Yasumoto

Keyword(s):

Bounded Arithmetic

Download Full-text

A Uniform Theorem Proving Tableau Method for Modal Logic

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_11 ◽

1996 ◽

pp. 173-182

Author(s):

Tadashi Araragi

Keyword(s):

Modal Logic ◽

Theorem Proving ◽

Tableau Method

Download Full-text

Kurt Gödel and the constructive Mathematics of A.A. Markov

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_4 ◽

1996 ◽

pp. 50-63

Author(s):

Boris A. Kushner

Keyword(s):

Constructive Mathematics ◽

Kurt Gödel

Download Full-text

Infinite-valued Gödel Logics with 0-1-Projections and Relativizations

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_2 ◽

1996 ◽

pp. 23-33 ◽

Cited By ~ 49

Author(s):

Matthias Baaz

Download Full-text

K-graph Machines: generalizing Turing’s machines and arguments

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_7 ◽

1996 ◽

pp. 98-119 ◽

Cited By ~ 5

Author(s):

Wilfried Sieg ◽

John Byrnes

Download Full-text

Contributions of K. Gödel to Relativity and Cosmology

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_3 ◽

1996 ◽

pp. 34-49 ◽

Cited By ~ 2

Author(s):

G. F. R. Ellis

Download Full-text

Replacement↛ Collection

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_22 ◽

1996 ◽

pp. 307-322 ◽

Cited By ~ 4

Author(s):

Andrzej M. Zarach

Download Full-text

Gödel and the Theory of Everything

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_21 ◽

1996 ◽

pp. 291-306

Author(s):

Michael Stöltzner

Keyword(s):

Theory Of Everything

Download Full-text

Best possible answer is computable for fuzzy SLD-resolution

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_19 ◽

1996 ◽

pp. 257-266 ◽

Cited By ~ 4

Author(s):

Leonard Paulík

Keyword(s):

Sld Resolution

Download Full-text

Kurt Gödel and the Consistency of R##

Lecture Notes in Logic - Gödel ’96 ◽

10.1007/978-3-662-21963-8_18 ◽

1996 ◽

pp. 247-256

Author(s):

Robert K. Meyer

Keyword(s):

Kurt Gödel

Download Full-text