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

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

doi:10.1142/9789814619998_0034

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 proceeding › Conference contribution › peer-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 language	English
Title of host publication	Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014
Editors	Ronei Marcos de Moraes, Etienne E. Kerre, Liliane dos Santos Machado, Jie Lu
Publisher	World Scientific Publishing Co. Pte Ltd
Pages	197-202
Number of pages	6
ISBN (Electronic)	9789814619967
DOIs	https://doi.org/10.1142/9789814619998_0034
Publication status	Published (in print/issue) - 2014
Event	Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 - Joao Pessoa, Paraiba, Brazil Duration: 17 Aug 2014 → 20 Aug 2014

Publication series

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

Conference

Conference	Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014
Country/Territory	Brazil
City	Joao Pessoa, Paraiba
Period	17/08/14 → 20/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.

Funding

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

Keywords

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

Access to Document

10.1142/9789814619998_0034

Cite this

Xu, Y., Liu, J., He, X., Zhong, X., & Chen, S. (2014). Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic. In R. M. de Moraes, E. E. Kerre, L. dos Santos Machado, & J. Lu (Eds.), Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014 (pp. 197-202). (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014). World Scientific Publishing Co. Pte Ltd. https://doi.org/10.1142/9789814619998_0034

Xu, Yang ; Liu, Jun ; He, Xingxing et al. / Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic. Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. editor / Ronei Marcos de Moraes ; Etienne E. Kerre ; Liliane dos Santos Machado ; Jie Lu. World Scientific Publishing Co. Pte Ltd, 2014. pp. 197-202 (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014).

@inproceedings{41e747de9ad442529e3b1726f27b9cf1,

title = "Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic",

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.",

keywords = "Lattice implication algebra, Lattice-valued propositional logic, Non-clausal multi-ary α-generalized resolution, Resolution automated reasoning",

author = "Yang Xu and Jun Liu and Xingxing He and Xiaomei Zhong and Shuwei Chen",

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: {\textcopyright} 2014 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.; Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 ; Conference date: 17-08-2014 Through 20-08-2014",

year = "2014",

doi = "10.1142/9789814619998\_0034",

language = "English",

series = "Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014",

publisher = "World Scientific Publishing Co. Pte Ltd",

pages = "197--202",

editor = "\{de Moraes\}, \{Ronei Marcos\} and Kerre, \{Etienne E.\} and \{dos Santos Machado\}, Liliane and Jie Lu",

booktitle = "Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014",

address = "Singapore",

}

Xu, Y, Liu, J, He, X, Zhong, X & Chen, S 2014, Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic. in RM de Moraes, EE Kerre, L dos Santos Machado & J Lu (eds), Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014, World Scientific Publishing Co. Pte Ltd, pp. 197-202, Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014, Joao Pessoa, Paraiba, Brazil, 17/08/14. https://doi.org/10.1142/9789814619998_0034

Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic. / Xu, Yang; Liu, Jun; He, Xingxing et al.
Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. ed. / Ronei Marcos de Moraes; Etienne E. Kerre; Liliane dos Santos Machado; Jie Lu. World Scientific Publishing Co. Pte Ltd, 2014. p. 197-202 (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Xu, Yang

AU - Liu, Jun

AU - He, Xingxing

AU - Zhong, Xiaomei

AU - Chen, Shuwei

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

PY - 2014

Y1 - 2014

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

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

KW - Lattice implication algebra

KW - Lattice-valued propositional logic

KW - Non-clausal multi-ary α-generalized resolution

KW - Resolution automated reasoning

UR - https://www.scopus.com/pages/publications/84966524073

U2 - 10.1142/9789814619998_0034

DO - 10.1142/9789814619998_0034

M3 - Conference contribution

AN - SCOPUS:84966524073

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

SP - 197

EP - 202

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

A2 - de Moraes, Ronei Marcos

A2 - Kerre, Etienne E.

A2 - dos Santos Machado, Liliane

A2 - Lu, Jie

PB - World Scientific Publishing Co. Pte Ltd

T2 - Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014

Y2 - 17 August 2014 through 20 August 2014

ER -

Xu Y, Liu J, He X, Zhong X, Chen S. Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic. In de Moraes RM, Kerre EE, dos Santos Machado L, Lu J, editors, Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014. World Scientific Publishing Co. Pte Ltd. 2014. p. 197-202. (Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014). doi: 10.1142/9789814619998_0034

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

Abstract

Publication series

Conference

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this