Skip to main content
SpringerLink
Log in

Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden Können

  • Conference paper
Book cover 3. Österreichische Artificial-Intelligence-Tagung

Part of the book series: Informatik-Fachberichte ((2252,volume 151))

Abstract

Hinreichend große Datenbanken enthalten mit großer Wahrscheinlichkeit widersprüchliche Informationen. Wendet man nun übliche Beweisverfahren an um Schlüsse zu ziehen, so kann aus einer einzigen widersprüchlichen Information jede Aussage gefolgert werden. Will man diese Wirkung von Widersprüchen verhindern kann man 1. den Beweisbegriff einschränken oder 2. die zugrundeliegende Logik verändern. Die erste Möglichkeit wird einem Gedanken Wittgensteins folgend entwickelt, die zweite führt zur Analyse nichtklassischer Logiken.

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

Access this chapter

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. ARRUDA A.I., A survey of paraconsistent logic. In Mathematical Logic in Latin America pp 1–41, eds.A.I.Arruda, R.Chuaqui and N.C.A.Da Costa, North-Holland, Amsterdam, 1980.

    Google Scholar 

  2. BAAZ M., Kripke-Type Semantics for Da Costa’s Paraconsistent Logik Cw. Notre Dame Journal of Formal Logic, Vol. 27, 4, 1986.

    Article  MathSciNet  Google Scholar 

  3. CHANG C.L.,LEE R.C., Symbolic Logic and Mechanical Theory Proofing. New York, 1973.

    Google Scholar 

  4. DA COSTA N.C.A., Calculs propositionnels pour les systemes formels inconsistents. Comptes Rendues Academie des Sciences Paris, Vol. 257, 1963.

    Google Scholar 

  5. RAGGIO A.R., Propositional sequence-calculi for inconsistent systems. Notre Dame Journal of Formal Logic, Vol. 9, 4, 1968.

    Article  MathSciNet  Google Scholar 

  6. ULLMAN J., Principles of Data Base Design, Stanford, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Algebra und Diskrete Mathematik, TU Wien, Österreich

    Matthias Baaz

Authors
  1. Matthias Baaz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Freyung 6/2, A-1010, Wien, Österreich

    Ernst Buchberger

  2. Siemens AG Österreich, Göllnergasse 15, A-1030, Wien, Österreich

    Johannes Retti

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baaz, M. (1987). Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden Können. In: Buchberger, E., Retti, J. (eds) 3. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46620-5_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46620-5_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18384-6

  • Online ISBN: 978-3-642-46620-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation