REFERENCES
Henkin, L.: 1961, ‘Some Remarks on Infinitively Long Formulas’ Infinitistic Methods, Pergamon, Oxford and PAN, Warsaw 1961, pp. 167–183.
Hintikka, J. and G. Sandu: 1989, ‘Informational Independence as a Semantical Phenomenon’ in J. E. Fenstad et al. (eds), Logic, Methodology and Philosophy of Science VIII, Elsevier, Amsterdam, pp. 571–589.
Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press.
Hyttinen, T. and G. Sandu: forthcoming ‘Henkin quantifiers and the definability of truth’ in Journal of Philosophical Logic.
Sandu, G.: 1998, ‘IF-logic and Truth-definition’ J. Philosophical Logic 27, 143–164.
Walkoe, W.: 1970, ‘Finite Partially Ordered Quantification’ J. Symbolic Logic 35, 535–550.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sandu, G., Hyttinen, T. IF logic and the foundations of mathematics. Synthese 126, 37–47 (2001). https://doi.org/10.1023/A:1005231507310
Issue Date:
DOI: https://doi.org/10.1023/A:1005231507310