Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540075332, 9783540380207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intuitionistic completeness of a restricted second-order logic

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079553 ◽

1975 ◽

pp. 198-232 ◽

Author(s):

E. G. K. Lopez-Escobar ◽

W. Veldman

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Kombinatorische Konstruktionen mit Beweisen und Schnittelimination

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079549 ◽

1975 ◽

pp. 119-151 ◽

Author(s):

Walter Felscher

Download Full-text

Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079556 ◽

1975 ◽

pp. 264-266 ◽

Author(s):

H. Osswald

Download Full-text

A study of generalized standardization in combinatory logic

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079546 ◽

1975 ◽

pp. 44-55

Author(s):

Haskell B. Curry

Keyword(s):

Combinatory Logic

Download Full-text

Sound functors

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079545 ◽

1975 ◽

pp. 26-43 ◽

Author(s):

J N Crossley ◽

Anil Nerode

Download Full-text

Strong normalization for arithmetic

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079552 ◽

1975 ◽

pp. 182-197 ◽

Author(s):

Daniel Leivant

Keyword(s):

Strong Normalization

Download Full-text

Comments on gentzen-type procedures and the classical notion of truth

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079559 ◽

1975 ◽

pp. 290-319 ◽

Author(s):

Dag Prawitz

Keyword(s):

Classical Notion

Download Full-text

The real elements in a consistency proof for simple type theory I

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079554 ◽

1975 ◽

pp. 233-256 ◽

Author(s):

Horst Luckhardt

Keyword(s):

Type Theory ◽

Simple Type ◽

Consistency Proof ◽

The Real ◽

Simple Type Theory

Download Full-text

Intensionale Funktionalinterpretation der Analysis

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079547 ◽

1975 ◽

pp. 56-72 ◽

Author(s):

Justus Diller ◽

Helmut Vogel

Download Full-text

Observations on a recent generalization of completeness theorems due to Schütte

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079551 ◽

1975 ◽

pp. 164-181

Author(s):

G. Kreisel

Keyword(s):

Completeness Theorems

Download Full-text