Abstract
This paper presents an analysis of Gödel logics with countable truth value sets with respect to the topological and order theoretic structure of the underlying truth value set. Gödel logics have taken an important rôle in various areas of computer science, e.g. logic programming and foundations of parallel computing. As shown in a forthcoming paper all these logics are not recursively axiomatizable. We show that certain topological properties of the truth value set can distinguish between various logics. Complete separation of a class of countable valued logics will be proven and direction for further separation results given.
this work was supported by the Austrian Research Fund (FWF) project P15477-MAT
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Baaz. Infinite-valued Gödel logics with 0-1-projections and relativizations. In Gödel 96. Kurt Gödel’s Legacy, volume 6 of LNL, pages 23–33, 1996.
M. Baaz and H. Veith. An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. volume 13 of LNML, pages 91–104, 1998.
M. Dummett. A propositional logic with denumerable matrix. J. of Symbolic Logic, 24:96–107, 1959.
K. Gödel. Zum Intuitionistischen Aussagenkalkül. Ergebnisse eines mathematischen Kolloquiums, 4:34–38, 1933.
P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
Alexander S. Kechris. Classical Descriptive Set Theory. Springer, 1995.
Reinhard Winkler. How much must an order theorist forget to become a topologist? In Contributions of General Algebra 12, Proc. of the Vienna Conference, Klagenfurt, Austria, 1999. Verlag Johannes Heyn.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Preining, N. (2002). Gödel Logics and Cantor-Bendixon Analysis. In: Baaz, M., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2002. Lecture Notes in Computer Science(), vol 2514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36078-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-36078-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00010-5
Online ISBN: 978-3-540-36078-0
eBook Packages: Springer Book Archive