## Completeness and Herbrand Theorems for Nominal Logic (2006)

by
James Cheney

Venue: | Journal of Symbolic Logic |

Citations: | 9 - 4 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}

}

### 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).