[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/850981.855234guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Chaining Techniques for Automated Theorem Proving in Many-Valued Logics

Published: 23 May 2000 Publication History

Abstract

We apply chaining techniques to automated theorem proving in many-valued logics. In particular, we show that superposition specializes to a refined version of the many-valued resolution rules introduced by Baaz and Fermüller, and that ordered chaining can be specialized to a refutationally complete inference system for regular clauses.

Cited By

View all
  • (2013)System descriptionProceedings of the 24th international conference on Automated Deduction10.1007/978-3-642-38574-2_8(126-134)Online publication date: 9-Jun-2013
  • (2007)Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence10.1007/s10472-007-9051-849:1-4(221-252)Online publication date: 1-Apr-2007

Index Terms

  1. Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
    Index terms have been assigned to the content through auto-classification.

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    ISMVL '00: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
    May 2000
    ISBN:0769506925

    Publisher

    IEEE Computer Society

    United States

    Publication History

    Published: 23 May 2000

    Author Tags

    1. automated theorem proving
    2. chaining calculi
    3. many-valued logic
    4. resolution
    5. superposition

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 30 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2013)System descriptionProceedings of the 24th international conference on Automated Deduction10.1007/978-3-642-38574-2_8(126-134)Online publication date: 9-Jun-2013
    • (2007)Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence10.1007/s10472-007-9051-849:1-4(221-252)Online publication date: 1-Apr-2007

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media