- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Skolem's discovery of gödel-Dummett logic
Studia Logica 73 (1):153 - 157 (2003)
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.Author's Profile
My notes
Similar books and articles
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.
De Finetti’s No-Dutch-Book Criterion for Gödel logic.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Studia Logica 90 (1):25 - 41.
De Finetti’s No-Dutch-Book Criterion for Gödel logic.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Studia Logica 90 (1):25-41.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
On interplay of quantifiers in Gödel-Dummett fuzzy logics.Blanka Kozlíková & Vítězslav Švejdar - 2006 - Archive for Mathematical Logic 45 (5):569-580.
Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains.Alwen Tiu - 2011 - In Kai Brünnler & George Metcalfe (eds.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg. pp. 248-262.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Analytics
Added to PP
2009-01-28
Downloads
66 (#252,445)
6 months
5 (#710,385)
2009-01-28
Downloads
66 (#252,445)
6 months
5 (#710,385)
Historical graph of downloads
Author's Profile
Citations of this work
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
References found in this work
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-w2v2s uwo