Identity, Equality, Nameability and Completeness
María Manzano; Manuel Crescencio Moreno
Bulletin of the Section of Logic (2017)
- Volume: 46, Issue: 3/4
- ISSN: 0138-0680
Access Full Article
topAbstract
topHow to cite
topReferences
top- [1] H. Andreka, J. van Benthem, N. Bezhanishvili and I. Németi, Changing a Semantics: Opprtunism or Courage?, [in:] The Life and Work of Leon Henkin. Essays on His Contributions, Springer Basil, (2014), pp. 307–338.
- [2] P. B. Andrews, General models and Extensionality, The Journal of Symbolic Logic 37/2 (1972), pp. 395–397.
- [3] A. Church, A formulation of the simple theory of types, The Journal of Symbolic Logic 5/2 (1940), pp. 56–68.
- [4] G. Frege, Über Sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, C, (1892), pp. 25–50. English Translation: On Sense and Meaning, [in:] B. McGuinness (ed.), Frege: collected works, Oxford: Blackwell, pp. 157–177.
- [5] L. Henkin, The completeness of the first order functional calculus, The Journal of Symbolic Logic 14 (1949), pp. 159–166.
- [6] L. Henkin, Completeness in the theory of types, The Journal of Symbolic Logic 15 (1950), pp. 81–91.
- [7] L. Henkin, Banishing the rule of substitution for functional variables, The Journal of Symbolic Logic 18/3 (1953), pp. 201–208.
- [8] L. Henkin, Some Notes on Nominalism, The Journal of Symbolic Logic 18 (1953), pp. 19–29.
- [9] L. Henkin, Identity as a logical primitive, Philosophia. Philosophical Quarterly of Israel 5/1-2 (1975), pp. 31–45.
- [10] L. Henkin, The discovery of my completeness proofs, The Bulletin of Symbolic Logic 2/2 (1996), pp. 127–158.
- [11] J. Ketland, Identity and Indiscernibility, The Review of Symbolic Logic 4/2 (2011), pp. 171–185.
- [12] M. Manzano, Extensions of First-order Logic, Cambridge University Press (1996).
- [13] M. Manzano, Model Theory, Oxford Logic Guides, Oxford University Press, (1999). (Translated by Ruy de Queiroz from Teoría de Modelos, Alianza Editorial, 1989).
- [14] M. Manzano, April the 19th, [in:] The Life and Work of Leon Henkin. Essays on His Contributions, Springer Basil, (2014), pp. 265–278.
- [15] M. Manzano, A. Kurucz and I. Sain, The little mermaid, [in:] Truth in Perspective, Concepción Martinez et al. (eds.). Ashgate. Aldershot (U.K.), (1998).
- [16] M. Manzano, I. Sain and E. Alonso (eds.), The Life and Work of Leon Henkin. Essays on His Contributions, Springer Basil, (2014).