Logical rules and the determinacy of meaning
References
- Bell, J.l. [1977] Boolean-valued Models and Independence Proofs in Set Theory. Oxford Logic Guides. Oxford, UK: Clarendon Press. xviii+126.
- Grayson, R.J. [1979] Heyting-valued models for intuitionistic set theory in M.P. Fourman et al. (eds.) Applications of Sheaves. Proceedings, Durham 1977. Lecture Notes in Mathematics. Volume 753. New York, NY: Springer- Verlag. pp. 402-414.
- McCarty, C. [2018] What is a logical truth? Proceedings of the XIV Congreso “Dr. AntonioMonteiro.” Institute ofMathematics. Universidad Nacional del Sur, AR: Bahía Blanca.
- Putnam, H. [1975] The meaning of ‘meaning.’ in K. Gunderson (ed.) Minnesota Studies in the Philosophy of Science. Volume VII. Language, Mind, and Knowledge.Minneapolis,MN: University ofMinnesota Press. pp. 131-193.
- Troelstra, A.S. [1980] Intuitionistic extensions of the reals. Nieuw Archief Voor Wiskunde. Volume XXVIII. pp. 63-113.
- Troelstra, A.S. & D. van Dalen [1988] Constructivism in Mathematics. An Introduction. Volume I. Amsterdam, NL: The North-Holland. xx+342+XIV.
Language: English
Page range: 89 - 98
Published on: Nov 16, 2018
Published by: University of Bialystok
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Related subjects:
© 2018 Charles McCarty, published by University of Bialystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.