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

Yang Xu, Ruan Da, Jun Liu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationApplied Computational Intelligence - Proceedings of the 6th International FLINS Conference
PublisherWorld Scientific Publishing Co. Pte Ltd
Pages29-34
Number of pages6
ISBN (Print)9812388737, 9789812388735
DOIs
Publication statusPublished - 2004
EventApplied Computational Intelligence - Proceedings of the 6th International FLINS Conference - Blankenberge, Belgium
Duration: 1 Sep 20043 Sep 2004

Publication series

NameApplied Computational Intelligence - Proceedings of the 6th International FLINS Conference

Conference

ConferenceApplied Computational Intelligence - Proceedings of the 6th International FLINS Conference
CountryBelgium
CityBlankenberge
Period1/09/043/09/04

Keywords

  • Automated reasoning
  • Lattice implication algebras
  • Lattice-valued logics
  • Linguistic truth-value
  • Uncertainty inference

Fingerprint

Dive into the research topics of 'Progress and prospect in lattice-valued logic systems based on lattice implication algebras'. Together they form a unique fingerprint.

Cite this