Substitution for Fraenkel-Mostowski foundations

AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Computing and Philosophy

Volumn , Issue , 2008, Pages 65-72

  Gabbay, Murdoch J ^a   Gabbay, Michael J ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FRAENKEL-MOSTOWSKI SET THEORY; MATHEMATICAL ENTITIES;

CONCRETE CONSTRUCTION;

EID: 79959357374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. S. Abramsky, D. R. Ghica, A. S. Murawski, C.-H. L. Ong, and I. D. B. Stark,'Nominal games and full abstraction for the nucalculus', in LICS, pp. 150-159. IEEE, (2004).
2. Peter Aczel, Non-wellfounded Set Theory, number 14 in CSLI lecture notes, CSLI, 1988.
3. Peter Aczel,'Generalised set theory', CSLI lecture notes, 1(58), 1-17, (1996).
4. Peter Aczel and Rachel Lunnon,'Universes and parameters', CSLI lecture notes, 2, 3-24, (1991).
5. Nick Benton and Benjamin Leperchey,'Relational reasoning in a nominal semantics for storage.', in Proc. of the 7th Int'l Conf. on Typed Lambda Calculi and Applications (TLCA), volume 3461 of LNCS, pp. 86-101, (2005). (Pubitemid 41312710)
6. N. Brunner. 75 years of independence proofs by Fraenkel-Mostowski permutation models, 1996.
7. James Cheney and Christian Urban,'Alpha-prolog: A logic programming language with names, binding and alpha-equivalence', in Proc. of the 20th Int'l Conf. on Logic Programming (ICLP 2004), eds., Bart Demoen and Vladimir Lifschitz, number 3132 in LNCS, pp. 269-283. Springer-Verlag, (2004).
8. N. G. de Bruijn,'Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem', Indagationes Mathematicae, 5(34), 381-392, (1972).
9. Kit Fine, Reasoning with Arbitrary Objects, Blackwell, 1985.
10. Gottlob Frege, The Foundations of Arithmetic, Blackwell, Oxford, 1953. Translated by J. L. Austin.
11. Gottlob Frege,'Begriffsschrift, eine der Arithmetischen Nachgebildete Formelsprache des Reinen Denkens', in From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, ed., J. van Heijenoort, Harvard University Press, (2002). Translated by S. Bauer-Mengelberg as'Concept Script, a formal language of pure thought modelled upon that of arithmetic'.
12. Murdoch J. Gabbay, A Theory of Inductive Definitions with alpha- Equivalence, Ph.D. dissertation, Cambridge, UK, 2000.
13. Murdoch J. Gabbay and Aad Mathijssen,'Captureavoiding substitution as a nominal algebra', Formal Aspects of Computing, (2008). Available online.
14. Murdoch J. Gabbay and Aad Mathijssen,'One-and-a-halfth-order logic', Journal of Logic and Computation, (2008). Available online.
15. Murdoch J. Gabbay and A. M. Pitts,'A new approach to abstract syntax involving binders', in 14th Annual Symposium on Logic in Computer Science, pp. 214-224. IEEE Computer Society Press, (1999).
16. Murdoch J. Gabbay and A. M. Pitts,'A new approach to abstract syntax with variable binding', Formal Aspects of Computing, 13(3-5), 341- 363, (2001). (Pubitemid 41204157)
17. Thomas Jech,'Set theory', in The Stanford Encyclopedia of Philosophy, ed., Edward N. Zalta, (Fall 2002).
18. P. T. Johnstone, Notes on logic and set theory, Cambridge University Press, 1987.
19. D. Miller,'Abstract syntax for variable binders: An overview', Lecture Notes in Articial Intelligence, 1861, 239-253, (July 2000).
20. A. M. Pitts,'Nominal logic, a first order theory of names and binding', Information and Computation, 186(2), 165-193, (2003).
21. A. M. Pitts and Murdoch J. Gabbay,'A metalanguage for programming with bound names modulo renaming', in Proceedings of the 5th international conference on the Mathematics of Program Construction (MPC2000), eds., R. Backhouse and J. N. Oliveira, volume 1837 of LNCS, pp. 230-255. Springer, (July 2000).
22. J. Truss,'Permutations and the axiom of choice', in Automorphisms of first order structures, ed., H.D.Macpherson R.Kaye, 131-152, OUP, (1994).
23. Christian Urban and Christine Tasson,'Nominal techniques in Isabelle/HOL', in CADE 2005, volume 3632 of Lecture Notes in Artificial Intelligence, pp. 38-53, (2005).