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]

Il terzo teorema di Godel-Kreisel nella teoria intuizionistica dei tipi di Martin-Lof

Guidi, Ferruccio
1998/1999

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]
1998
50
semantica intuitiva teorema di Godel-Kreisel teoria intuizionistica dei tipi di Martin-Lof
File in questo prodotto:
File Dimensione Formato  
tesiGodel.pdf

accesso aperto

Dimensione 367.88 kB
Formato Adobe PDF
367.88 kB Adobe PDF Visualizza/Apri

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/13812