Progress and prospect in lattice-valued logic systems based on lattice implication algebras

Yang Xu; Ruan Da; Jun Liu

doi:10.1142/9789812702661_0009

Progress and prospect in lattice-valued logic systems based on lattice implication algebras

Yang Xu, Ruan Da, Jun Liu

Research output › peer-review

Abstract

This paper summarizes the major research progress in the logical algebras - lattice implication algebras (LIAs), algebraic logics - lattice-valued logics based on LIAs, as well as uncertainty inference and automated reasoning based on these lattice-valued logics. The relevant further research topics and prospects are also outlined. The theory and method of these kinds of logic systems for characterizing the linguistic truth-value-based uncertainty inference and automated reasoning are highlighted and will be specially investigated.

Original language	English
Title of host publication	Applied Computational Intelligence
Subtitle of host publication	Proceedings of the 6th International FLINS Conference
Publisher	World Scientific Publishing Co. Pte Ltd
Pages	29-34
Number of pages	6
ISBN (Print)	9812388737, 9789812388735
DOIs	https://doi.org/10.1142/9789812702661_0009
State	Published - 2004
Event	2004 - 6th International FLINS Conference on Applied Computational Intelligence - Blankenberge Duration: 1 Sep 2004 → 3 Sep 2004 Conference number: FLINS2004

Publication series

Name	Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference

Conference

Conference	2004 - 6th International FLINS Conference on Applied Computational Intelligence
Country/Territory	Belgium
City	Blankenberge
Period	2004-09-01 → 2004-09-03

ASJC Scopus subject areas

General Engineering

Access to Document

10.1142/9789812702661_0009License: Unspecified

Cite this

Xu, Y., Da, R., & Liu, J. (2004). Progress and prospect in lattice-valued logic systems based on lattice implication algebras. In Applied Computational Intelligence: Proceedings of the 6th International FLINS Conference (pp. 29-34). (Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference). World Scientific Publishing Co. Pte Ltd. https://doi.org/10.1142/9789812702661_0009

@inproceedings{6a434e20faaa4d1591ccdf72e4b47d84,

title = "Progress and prospect in lattice-valued logic systems based on lattice implication algebras",

abstract = "This paper summarizes the major research progress in the logical algebras - lattice implication algebras (LIAs), algebraic logics - lattice-valued logics based on LIAs, as well as uncertainty inference and automated reasoning based on these lattice-valued logics. The relevant further research topics and prospects are also outlined. The theory and method of these kinds of logic systems for characterizing the linguistic truth-value-based uncertainty inference and automated reasoning are highlighted and will be specially investigated.",

keywords = "Automated reasoning, Lattice implication algebras, Lattice-valued logics, Linguistic truth-value, Uncertainty inference",

author = "Yang Xu and Ruan Da and Jun Liu",

year = "2004",

doi = "10.1142/9789812702661_0009",

language = "English",

isbn = "9812388737",

series = "Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference",

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

pages = "29--34",

booktitle = "Applied Computational Intelligence",

note = "2004 - 6th International FLINS Conference on Applied Computational Intelligence ; Conference date: 01-09-2004 Through 03-09-2004",

}

Xu, Y, Da, R & Liu, J 2004, Progress and prospect in lattice-valued logic systems based on lattice implication algebras. in Applied Computational Intelligence: Proceedings of the 6th International FLINS Conference. Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference, World Scientific Publishing Co. Pte Ltd, pp. 29-34, 2004 - 6th International FLINS Conference on Applied Computational Intelligence, Blankenberge, Belgium, 2004-09-01. https://doi.org/10.1142/9789812702661_0009

Progress and prospect in lattice-valued logic systems based on lattice implication algebras. / Xu, Yang; Da, Ruan; Liu, Jun.
Applied Computational Intelligence: Proceedings of the 6th International FLINS Conference. World Scientific Publishing Co. Pte Ltd, 2004. p. 29-34 (Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference).

Research output › peer-review

TY - GEN

T1 - Progress and prospect in lattice-valued logic systems based on lattice implication algebras

AU - Xu, Yang

AU - Da, Ruan

AU - Liu, Jun

N1 - Conference code: FLINS2004

PY - 2004

Y1 - 2004

N2 - This paper summarizes the major research progress in the logical algebras - lattice implication algebras (LIAs), algebraic logics - lattice-valued logics based on LIAs, as well as uncertainty inference and automated reasoning based on these lattice-valued logics. The relevant further research topics and prospects are also outlined. The theory and method of these kinds of logic systems for characterizing the linguistic truth-value-based uncertainty inference and automated reasoning are highlighted and will be specially investigated.

AB - This paper summarizes the major research progress in the logical algebras - lattice implication algebras (LIAs), algebraic logics - lattice-valued logics based on LIAs, as well as uncertainty inference and automated reasoning based on these lattice-valued logics. The relevant further research topics and prospects are also outlined. The theory and method of these kinds of logic systems for characterizing the linguistic truth-value-based uncertainty inference and automated reasoning are highlighted and will be specially investigated.

KW - Automated reasoning

KW - Lattice implication algebras

KW - Lattice-valued logics

KW - Linguistic truth-value

KW - Uncertainty inference

UR - http://www.scopus.com/inward/record.url?scp=8844247032&partnerID=8YFLogxK

U2 - 10.1142/9789812702661_0009

DO - 10.1142/9789812702661_0009

M3 - In-proceedings paper

AN - SCOPUS:8844247032

SN - 9812388737

SN - 9789812388735

T3 - Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference

SP - 29

EP - 34

BT - Applied Computational Intelligence

PB - World Scientific Publishing Co. Pte Ltd

T2 - 2004 - 6th International FLINS Conference on Applied Computational Intelligence

Y2 - 1 September 2004 through 3 September 2004

ER -

Xu Y, Da R, Liu J. Progress and prospect in lattice-valued logic systems based on lattice implication algebras. In Applied Computational Intelligence: Proceedings of the 6th International FLINS Conference. World Scientific Publishing Co. Pte Ltd. 2004. p. 29-34. (Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference). doi: 10.1142/9789812702661_0009