A Complete Axiomatization of Higher-Order Intuitionistic Logic (2001)
by
Marcelo E. Coniglio
,
Cristina Sernadas
| Venue: | CLE e-Prints |
| Citations: | 2 - 2 self |
BibTeX
@TECHREPORT{Coniglio01acomplete,
author = {Marcelo E. Coniglio and Cristina Sernadas},
title = {A Complete Axiomatization of Higher-Order Intuitionistic Logic},
institution = {CLE e-Prints},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Two Hilbert calculi for higher-order logic (or theory of types) are introduced.
