A sequent calculus for nominal logic

By Murdoch James Gabbay, J. Cheney. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., 2004

294 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/2495c96c891d83c53029f62863841f1f09ff759a