References
Beeson, M.: 1984, Foundations of Constructive Mathematics, Springer, Berlin.
Cantini, A.: in preparation, Properties and Operations, revised and translated edition of Proprietà e Operazioni, Bibliopolis, Napoli, 1983.
Casari, E.: ‘Comparative Logics’, published in this issue of Synthese.
Church, A.: 1951, ‘A Formulation of the Logic of Sense and Denotation’, in Structure, Method, and Meaning, The Liberal Arts Press.
Dalla Chiara, M. L. and G. Toraldo di Francia: 1985, ‘Individuals, Kinds and Names in Physics’, Versus 40, 29–50.
Feferman, S.: 1985, ‘Intensionality in Mathematics’, Journal of Philosophical Logic 14, 41–55.
Feferman, S.: 1984, ‘Toward Useful Type-Free Theories. I.’, The Journal of Symbolic Logic 49, 75–111.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dalla Chiara, M.L. An approach to intensional semantics. Synthese 73, 479–496 (1987). https://doi.org/10.1007/BF00484989
Issue Date:
DOI: https://doi.org/10.1007/BF00484989