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
    Country/TerritoryBrazil
    CityJoao Pessoa, Paraiba
    Period17/08/1420/08/14

    Bibliographical note

    Funding Information:
    This work is supported by the National Science Foundation of China (Grant No. 60875034, 61175055, 61305074), the project TIN-2009-0828; Sichuan Key Technology Research and Development Program of China (Grant No. 2011FZ0051), the Radio Administration Bureau of MIIT of China (Grant 202 No. [2011] 146) and China Institution of Communications (Grant No. [2011] 051).

    Funding Information:
    This work is supported by the National Science Foundation of China (Grant No. 60875034, 61175055, 61305074), the project TIN-2009-0828; Sichuan Key Technology Research and Development Program of China (Grant No. 2011FZ0051), the Radio Administration Bureau of MIIT of China (Grant No. [2011] 146) and China Institution of Communications (Grant No. [2011] 051).

    Publisher Copyright:
    © 2014 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.

    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