Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Guidi, Ferruccio (1998) Il terzo teorema di Godel-Kreisel nella teoria intuizionistica dei tipi di Martin-Lof. [Laurea vecchio ordinamento]

Questa è la versione più aggiornata di questo documento.

Full text disponibile come:

[img]
Preview
PDF
367Kb

Abstract

The completeness of the fragment strongly denied in intuitionistic logic with respect to the intuitive semantics implies the validity of the principle of Markov in metalanguage where "intuitive semantics 'and' a free translation of naive semantics. This thesis will prove that this theorem can 'be effectively formulated and proved in the intuitionistic theory of types of P. Martin-Lof (ITT), which is exposed in detail in [MLS] and [NPS]

Item Type:Laurea vecchio ordinamento
Corsi di Laurea vecchio ordinamento:Facoltà di Scienze MM. FF. NN. > CL Matematica
Uncontrolled Keywords:semantica intuitiva teorema di Godel-Kreisel teoria intuizionistica dei tipi di Martin-Lof
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:27030
Relatore:Sambin, Giovanni
Data della tesi:1998
Biblioteca:Polo di Scienze > Biblioteca del Seminario Matematico
Collocazione:TESI. 103
Tipo di fruizione per il documento:on-line per i full-text

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione e non da noi.

1.The Association for Symbolic Logic: Cerca con Google

Twenty-Third Annual Meeting Cerca con Google

The Journal of Symbolic Logic 23/4 (December 1958) Cerca con Google

2.M.J. Beeson: Cerca con Google

Foundations of Constructive Mathematics, Cerca con Google

E.M.G. 3. Folge Band 6, Springer Verlag 1985. Cerca con Google

3.G.Gentzen: Cerca con Google

Investigations into Logical Deduction (1935), Cerca con Google

in M.E. Szabo: The Collected Papers of Gerard Gentzen, Cerca con Google

S.L.F.M., North Holland Publishing Company 1969. Cerca con Google

4.K. Godel: Cerca con Google

On formally undecidable propositions of principia Cerca con Google

mathematica and related systems I (1931), Cerca con Google

in S. Fefeerman et al.: Cerca con Google

Kurt Godel - Collected Works, Cerca con Google

Oxford University Press 1986 Cerca con Google

5.G. Kreisel: Cerca con Google

Elementary Completeness Properties of Intuitionistic Logic Cerca con Google

with a Note on Negations of Prenex Formulae, Cerca con Google

The journal of Symbolic Logic 23/3 (September 1958). Cerca con Google

6.G. Kreisel: Cerca con Google

On Weak Completeness of Intuitionistic Predicate Logic, Cerca con Google

The Journal of Symbolic Logic 27/2 (June 1962). Cerca con Google

7. D.C. McCarty: Cerca con Google

Incompleteness of Intuitionistic Metamathematics, Cerca con Google

Notre Dame Journal of Formal Logic 32/3 (Summer 1991) Cerca con Google

8. D.C. McCarty: Cerca con Google

On theorems of Godel and Kreisel: Completeness and Cerca con Google

Markov's Principle, Cerca con Google

Notre Dame Journal of Formal Logic 35/1 (Winter 1994) Cerca con Google

9.D.C. McCarty: Cerca con Google

Undecidability and Intuitionistic Incompleteness, Cerca con Google

The Journal of Philosophical Logic 22/5 (1996) Cerca con Google

10. P. Martin-Lof: Cerca con Google

Intuitionistic Type Theory (notes by G. Sambin), Cerca con Google

Studies in Proof Theory (Lecture Notes) 1, Bibliopolis 1984. Cerca con Google

11. B. Nordsdrom, K. Petersson, J. M. Smith: Cerca con Google

Programming in Martin-Lofs Type Theory Cerca con Google

an introduction, Cerca con Google

Oxford University Press 1980 Cerca con Google

12. H. Persson: Cerca con Google

Constructive Completeness of Intuitionistic Predicative Cerca con Google

Logic: Cerca con Google

A Formalisation in Type Theory. Cerca con Google

Department of Computing Science, Goteborg University Cerca con Google

1996 Cerca con Google

13. G. Sambin, G. Battilotti, C. Faggian: Cerca con Google

Basic Logic: Reflection, Simmetry, Visibility, Cerca con Google

apparira in: The Journal of Symbolic Logic. Cerca con Google

14. G. Takeuti: Cerca con Google

Proof Theory Cerca con Google

S.L.F.M. 81, North Holland Publishing Company 1975. Cerca con Google

15. A.S. Troelstra, D. VAN dALEN: Cerca con Google

Constructivism in Mathematics - an introduction, Cerca con Google

S.L.F.M. 121 & 123, Elsevier Science Publishers B.V. Cerca con Google

1988. Cerca con Google

16. A.S. Troelstra, H. Schwichtenberg: Cerca con Google

Basic Proof Theory, Cerca con Google

C.T.T.C.S. 43, Cambridge University Press 1996 Cerca con Google

Versioni disponibili di questo documento

Solo per lo Staff dell Archivio: Modifica questo record