An axiomatizable lattice-ordered linguistic truth-valued logic

Jun Liu, Yang Xu, Da Ruan, Jan Wagemans

Research outputpeer-review

Abstract

Investigations on an algebraic structure of linguistic truth values in decision making and social science applications still lack a formalism for development of strict linguistic truth-valued logic system and its approximate reasoning scheme in practice. To attain this goal we characterize and construct the structure of linguistic value sets in natural language by a lattice-valued algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic valued logic based approximate reasoning systems. This proposed logic system has a distinct advantage of handling incomparable linguistic terms in perception-based decision making processes.
Original languageEnglish
Title of host publicationComputational Intelligence -- Foundations and Applications
Place of PublicationSingapore, Singapore
Pages72-78
Number of pages7
Volume1
DOIs
StatePublished - Aug 2010
Event2010 - 9th International FLINS Conference on Foundations and Applications of Computational Intelligence - Chengdu
Duration: 2 Aug 20104 Aug 2010
Conference number: FLINS 2010

Publication series

NameComputer Engineering and Information Science
Number4

Conference

Conference2010 - 9th International FLINS Conference on Foundations and Applications of Computational Intelligence
Country/TerritoryChina
CityChengdu
Period2010-08-022010-08-04

Funding

FundersFunder number
NSFC - National Natural Science Foundation of China60875034
Specialized Research Fund for the Doctoral Program of Higher Education of China20060613007, P08-TIC-3548, TIN2009-08286

    Cite this