Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Citations (Scopus)

    Abstract

    As a continuation and extension of the established work on binary resolution at certain truth-value level (called α-resolution), this paper introduces non- clausal multiary α-generalized resolution principle and deduction for lattice- valued propositional logic LP(X) based on lattice implication algebra, which is essentially a non-clausal generalized resolution avoiding the reduction to normal clausal form. Non-clausal multiary α-generalized resolution deduction in LP(X) is then proved to be sound and complete.

    Original languageEnglish
    Title of host publicationDecision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014
    EditorsRonei Marcos de Moraes, Etienne E. Kerre, Liliane dos Santos Machado, Jie Lu
    PublisherWorld Scientific Publishing Co. Pte Ltd
    Pages197-202
    Number of pages6
    ISBN (Electronic)9789814619967
    DOIs
    Publication statusPublished - 2014
    EventDecision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 - Joao Pessoa, Paraiba, Brazil
    Duration: 17 Aug 201420 Aug 2014

    Publication series

    NameDecision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014

    Conference

    ConferenceDecision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014
    CountryBrazil
    CityJoao Pessoa, Paraiba
    Period17/08/1420/08/14

    Keywords

    • Lattice implication algebra
    • Lattice-valued propositional logic
    • Non-clausal multi-ary α-generalized resolution
    • Resolution automated reasoning

    Fingerprint

    Dive into the research topics of 'Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic'. Together they form a unique fingerprint.

    Cite this