A Simpler Proof Theory for Nominal Logic

  title={A Simpler Proof Theory for Nominal Logic},
  author={James Cheney},
Nominal logic is a variant of first-order logic which provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values considered so far). Previous attempts have been made to develop convenient rules for reasoning with the new-quantifier, but we argue that none of these attempts is completely satisfactory. In this paper we develop a new sequent calculus for nominal… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 11 references

Fresh logic: A logic of FM

  • M. J. Gabbay
  • 2003
Highly Influential
15 Excerpts

A simpler proof theory for nominal logic

  • James Cheney
  • In Proceedings of the 2005 Conference on…
  • 2005
1 Excerpt

Nominal logic

  • A. M. Pitts
  • a first order theory of names and binding…
  • 2003
2 Excerpts

Similar Papers

Loading similar papers…