A sequent calculus for nominal logic

Proceedings - Symposium on Logic in Computer Science

Volumn 19, Issue , 2004, Pages 139-148

  Gabbay, Murdoch ^a   Cheney, James ^b  

^a ÉCOLE POLYTECHNIQUE   (France)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; INTEGER PROGRAMMING; LOGIC PROGRAMMING; NETWORK PROTOCOLS; SEMANTICS; THEOREM PROVING;

NOMINAL LOGICS; PERMUTATION; SEQUENT CALCULUS; SPACE CONFLICT;

FORMAL LOGIC;

EID: 4544263413     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/lics.2004.1319608     Document Type: Conference Paper

References (12)

1. Luís Caires and Luca Cardelli. A spatial logic for concurrency (part II). In CONCUR'2002 Proceedings, number 2421 in Lecture Notes in Computer Science, 2002.
2. J. Cheney and C. Urban. Alpha-Prolog, a logic programming language with names, binding, and alpha-equivalence. In Proc. Int. Conf. on Logic Programming (ICLP 2004), 2004. To appear.
3. Maribel Femández, Murdoch Gabbay, and Ian Mackie. Nominal rewriting. Submitted, January 2004.
4. M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341-363, 2001.
5. Murdoch Gabbay. Fresh logic. Submitted, July 2003.
6. Murdoch J. Gabbay. A Theory of Inductive Definitions with alpha-Equivalence. PhD thesis, Cambridge, UK, 2000.
7. Murdoch J. Gabbay. Automating fraenkel-mostowski syntax. In TPHOLs, 15th International Conference on Theorem Proving in Higher Order Logics, August 2002.
8. Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125-157, 1991.
9. Dale Miller and Alwen Tiu. A proof theory for generic judgments: An extended abstract. In Proceedings of LICS 2003, pages 118-127. IEEE, June 2003.
10. A. M. Pitts. Nominal logic, a first order theory of names and binding. Information and Computation, 186:165-193, 2003.
11. M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programming with binders made simple. In Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), Uppsala, Sweden, pages 263-274. ACM Press, August 2003.
12. C. Urban, A. M. Pitts, and M. J. Gabbay. Nominal unification. In M. Baaz, editor, Computer Science Logic and 8th Kurt Gödel Colloquium (CSL'03 & KGC), Vienna, Austria. Proceedings, volume 2803 of Lecture Notes in Computer Science, pages 513-527. Springer-Verlag, Berlin, 2003.