Skip to main content
Log in

Skolem's Discovery of Gödel-Dummett Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Birkhoff, G., ‘Review of Skolem 1936’, The Journal of Symbolic Logic, 2:50, 1937.

    Google Scholar 

  2. Burris, S., ‘Polynomial time uniform word problems’, Mathematical Logic Quarterly, 41:173–182, 1995.

    Google Scholar 

  3. Dummett, M., ‘A propositional calculus with a denumerable matrix’, The Journal of Symbolic Logic, 24:96–107, 1959.

    Google Scholar 

  4. Freese, R., J. Jezek, and J. B. Nation, Free Lattices, American Mathematical Society, Providence, Rhode Island, 1995.

    Google Scholar 

  5. GÖdel, K., ‘Zum intuitionistischen Aussagenkalkül, as reprinted’, in Gödel's Collected Works, vol. 1, pp. 222–225, Oxford University Press, 1932.

  6. Lange-Nielsen, F., ‘Review of Skolem 1920’, Jahrbuch der Mathematik, 48:1121–1122, 1921–22.

    Google Scholar 

  7. McKinsey, J., ‘The decision problem for some classes of sentences without quantifiers’, The Journal of Symbolic Logic, 8:61–76, 1943.

    Google Scholar 

  8. 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].

  9. 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.

  10. 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.

  11. Skolem, T., ‘Ueber die symmetrisch allgemeinen Lösungen im Klassenkalkul’, Fundamenta mathematicae, 18:61–76, 1931.

    Google Scholar 

  12. Skolem, T., ‘Ueber die symmetrisch allgemeinen Lösungen im identischen Kalkul’, 1931, as reprinted in Skolem [1970], pp. 307–336.

  13. Skolem, T., ‘Ueber gewisse “Verbände” oder “Lattices”’, 1936, as reprinted in Skolem [1970], pp. 412–424.

  14. Skolem, T., (1970) Selected Works in Logic, ed. J. E. Fenstad, Universitetsforlaget, Oslo.

    Google Scholar 

  15. Whitman, P., ‘Free lattices’, Annals of Mathematics, 42:325–330, 1941.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1022997524909

Navigation