Models for intuitionistic logic
<p>In this work I develop a formalization (M-L) of Martin-Löf type theory, the main concern being an accurate definition of what it is to be a model of M-L. Using this definition, I proceed with actual models of M-L (mainly realizability models) to establish the relative consistency of many in...
| Główni autorzy: | , |
|---|---|
| Format: | Praca dyplomowa |
| Język: | English |
| Wydane: |
1975
|