Completeness and Herbrand theorems for nominal logic. Cheney, J. J. Symb. Log., 71(1):299-320, 2006.
Completeness and Herbrand theorems for nominal logic [link]Link  bibtex   
@article{ DBLP:journals/jsyml/Cheney06,
  author = {James Cheney},
  title = {Completeness and Herbrand theorems for nominal logic},
  journal = {J. Symb. Log.},
  pages = {299-320},
  volume = {71},
  number = {1},
  ee = {http://projecteuclid.org/euclid.jsl/1140641176},
  year = {2006}
}

Downloads: 0