Abstract
In 1933 Kurt Gödel [Göd33] introduced a family of finitely many-valued propositional logics. His goal was to show that the intuitionistic logic cannot be characterized by a finite matrix. Dummett in [Dum59] generalized them to infinite-valued logics and presented their complete Hilbert-style axiomatization. It consists of the axioms of the intuitionistic propositional logic and the linearity axiom (φ → ψ) ∨ (ψ → φ). It is known that the set of tautologies of these logics is the same for any infinite set of truth values. Kripke-style semantics for these logics is determined by the intuitionistic Kripke models which are linearly ordered. The logic LC is an intersection of the sets of tautologies of all finite-valued Gödel logics. Gödel–Dummett logics have many applications both in logic and in computer science. Logic LC is employed in the investigations of the provability logic of the intuitionistic arithmetic [Vis82] and relevant logics [DM71]. It is applied to the foundations of logic programming [Pea99] and also it is considered as one of the most important fuzzy logics [Háj98].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Orłowska, E., Golińska-Pilarek, J. (2011). Signed Dual Tableau for Gödel–Dummett Logic. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_21
Download citation
DOI: https://doi.org/10.1007/978-94-007-0005-5_21
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0004-8
Online ISBN: 978-94-007-0005-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)