Skip to main content
SpringerLink
Log in
Book cover

International Joint Conference on Automated Reasoning

IJCAR 2001: Automated Reasoning pp 690–695Cite as

Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory

  • Conference paper
  • First Online:

  • 752 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2083))

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.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Glubrecht, J.-M., Oberschelp, A., Todt, G.: Klassenlogik. BI Wissenschaftsv. (1983)

    MATH  Google Scholar 

  2. Oberschelp, A.: Allgemeine Mengenlehre. BI Wissenschaftsverlag (1994)

    Google Scholar 

  3. Enderton, H.B.: A mathematical introduction to logic. Acad. Press (1972)

    Google Scholar 

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

    Article  MATH  Google Scholar 

  5. Gagnon, E. M., Hendren, L. J.: SableCC. In Proc. TOOLS’98, IEEE

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  7. Cantone, D., Ferro, A.: Techniques of Computable Set Theory with Applications to Proof Verification. Comm. Pure Appl. Math.Vol.XLVIII (1995) 901–945

    MathSciNet  Google Scholar 

  8. Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing. Springer (2001)

    Google Scholar 

  9. Bronstein, I. N., Semendjajew, K. A.: Taschenbuch der Mathematik. (25. Aufl., 1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Dortmund, Fachbereich Informatik, LS 5, 44227, Dortmund, Germany

    Jörg Lücke

Authors
  1. Jörg Lücke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Automated Reasoning Project and Department of Computer Science, Australian National University, Canberra, ACT, 0200, Australia

    Rajeev Goré

  2. AG Theoretische Informatik und Logik, Institut für Computersprachen, Technische Universität Wien, Favoritenstr. 9, E185-2, 1040, Wien, Austria

    Alexander Leitsch

  3. Institut für Informatik, Technische Universität München, 80290, München, Germany

    Tobias Nipkow

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation