Abstract
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe and solve problems. The tool supplies features which are well-suited for teaching purposes as well. It offers a self explaining user interface, a parser reflecting the common operator bindings, parse tree visualization, and the possibility to generate Venn diagrams as examples or counterexamples for a given formula. The implemented decision procedure which is based on the semantics of class theory is particularly suitable for this.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Glubrecht, J.-M., Oberschelp, A., Todt, G.: Klassenlogik. BI Wissenschaftsv. (1983)
Oberschelp, A.: Allgemeine Mengenlehre. BI Wissenschaftsverlag (1994)
Enderton, H.B.: A mathematical introduction to logic. Acad. Press (1972)
Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. Int. J.STTT(1997) 1:9–30, eti.cs.uni-dortmund.de
Gagnon, E. M., Hendren, L. J.: SableCC. In Proc. TOOLS’98, IEEE
Ferro, A., Omodeo, E., Schwartz, J.T.: Decision Procedures for Elementary Sublanguages of Set Theory I. Comm. Pure Appl. Math.Vol. XXXIII (1980) 599–608
Cantone, D., Ferro, A.: Techniques of Computable Set Theory with Applications to Proof Verification. Comm. Pure Appl. Math.Vol.XLVIII (1995) 901–945
Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing. Springer (2001)
Bronstein, I. N., Semendjajew, K. A.: Taschenbuch der Mathematik. (25. Aufl., 1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lücke, J. (2001). Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory. In: Goré, R., Leitsch, A., Nipkow, T. (eds) Automated Reasoning. IJCAR 2001. Lecture Notes in Computer Science, vol 2083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45744-5_57
Download citation
DOI: https://doi.org/10.1007/3-540-45744-5_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42254-9
Online ISBN: 978-3-540-45744-2
eBook Packages: Springer Book Archive