Higher Order Logic (1994)
Cached
Download Links
- [ftp.cs.indiana.edu]
- [www.cs.indiana.edu]
- [www.cs.indiana.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Handbook of Logic in Artificial Intelligence and Logic Programming |
| Citations: | 16 - 0 self |
BibTeX
@INPROCEEDINGS{Leivant94higherorder,
author = {Daniel Leivant},
title = {Higher Order Logic},
booktitle = {In Handbook of Logic in Artificial Intelligence and Logic Programming},
year = {1994},
pages = {229--321},
publisher = {Clarendon Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2 The expressive power of second order Logic : : : : : : : : : : : 3 2.1 The language of second order logic : : : : : : : : : : : : : 3 2.2 Expressing size : : : : : : : : : : : : : : : : : : : : : : : : 4 2.3 Defining data types : : : : : : : : : : : : : : : : : : : : : 6 2.4 Describing processes : : : : : : : : : : : : : : : : : : : : : 8 2.5 Expressing convergence using second order validity : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.6 Truth definitions: the analytical hierarchy : : : : : : : : 10 2.7 Inductive definitions : : : : : : : : : : : : : : : : : : : : : 13 3 Canonical semantics of higher order logic : : : : : : : : : : : : 15 3.1 Tarskian semantics of second order logic : : : : : : : : : 15 3.2 Function and re
