Completeness and Herbrand Theorems for Nominal Logic (2006)
by
James Cheney
| Venue: | Journal of Symbolic Logic |
| Citations: | 10 - 5 self |
BibTeX
@ARTICLE{Cheney06completenessand,
author = {James Cheney},
title = {Completeness and Herbrand Theorems for Nominal Logic},
journal = {Journal of Symbolic Logic},
year = {2006},
volume = {71},
pages = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Nominal logic is a variant of first-order logic in which abstract syntax with names and binding is formalized in terms of two basic operations: name-swapping and freshness. It relies on two important principles: equivariance (validity is preserved by name-swapping), and fresh name generation ("new" or fresh names can always be chosen).
