Abstract
Attention is drawn to the fact that what is alternatively known as Dummett logic, Gödel logic, or Gödel-Dummett logic, was actually introduced by Skolem already in 1913. A related work of 1919 introduces implicative lattices, or Heyting algebras in today's terminology.
Similar content being viewed by others
References
Birkhoff, G., ‘Review of Skolem 1936’, The Journal of Symbolic Logic, 2:50, 1937.
Burris, S., ‘Polynomial time uniform word problems’, Mathematical Logic Quarterly, 41:173–182, 1995.
Dummett, M., ‘A propositional calculus with a denumerable matrix’, The Journal of Symbolic Logic, 24:96–107, 1959.
Freese, R., J. Jezek, and J. B. Nation, Free Lattices, American Mathematical Society, Providence, Rhode Island, 1995.
GÖdel, K., ‘Zum intuitionistischen Aussagenkalkül, as reprinted’, in Gödel's Collected Works, vol. 1, pp. 222–225, Oxford University Press, 1932.
Lange-Nielsen, F., ‘Review of Skolem 1920’, Jahrbuch der Mathematik, 48:1121–1122, 1921–22.
McKinsey, J., ‘The decision problem for some classes of sentences without quantifiers’, The Journal of Symbolic Logic, 8:61–76, 1943.
Skolem, T., ‘Om konstitutionen av den identiske kalkuls grupper’, in Proceedings of the 3rd Scandinavian Mathematical Congress, Kristiania, pp. 149–163, 1913. English translation in Skolem [1970].
Skolem, T., ‘Untersuchungen über die Axiome des Klassenkalküls und über Produktations-und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen’, 1919, as reprinted in Skolem [1970], pp. 67–101.
Skolem, T., ‘Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze, nebst einem Theoreme über dichte Mengen’, 1920, as reprinted in Skolem [1970], pp. 103–136.
Skolem, T., ‘Ueber die symmetrisch allgemeinen Lösungen im Klassenkalkul’, Fundamenta mathematicae, 18:61–76, 1931.
Skolem, T., ‘Ueber die symmetrisch allgemeinen Lösungen im identischen Kalkul’, 1931, as reprinted in Skolem [1970], pp. 307–336.
Skolem, T., ‘Ueber gewisse “Verbände” oder “Lattices”’, 1936, as reprinted in Skolem [1970], pp. 412–424.
Skolem, T., (1970) Selected Works in Logic, ed. J. E. Fenstad, Universitetsforlaget, Oslo.
Whitman, P., ‘Free lattices’, Annals of Mathematics, 42:325–330, 1941.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
von Plato, J. Skolem's Discovery of Gödel-Dummett Logic. Studia Logica 73, 153–157 (2003). https://doi.org/10.1023/A:1022997524909
Issue Date:
DOI: https://doi.org/10.1023/A:1022997524909