An axiomatizable lattice-ordered linguistic truth-valued logic

Jun Liu, Yang Xu, Da Ruan

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)

    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 - Proceedings of the 9th International FLINS Conference, FLINS 2010
    EditorsDa Ruan, Etienne E. Kerre, Da Ruan, Guoqing Chen, Tianrui Li, Yang Xu
    PublisherWorld Scientific Publishing Co. Pte Ltd
    Pages72-78
    Number of pages7
    ISBN (Electronic)9814324698, 9789814324694
    DOIs
    Publication statusPublished - 2010
    EventComputational Intelligence Foundations and Applications - 9th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2010 - Emei, Chengdu, China
    Duration: 2 Aug 20104 Aug 2010

    Publication series

    NameComputational Intelligence Foundations and Applications - Proceedings of the 9th International FLINS Conference, FLINS 2010

    Conference

    ConferenceComputational Intelligence Foundations and Applications - 9th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2010
    CountryChina
    CityEmei, Chengdu
    Period2/08/104/08/10

    Fingerprint

    Dive into the research topics of 'An axiomatizable lattice-ordered linguistic truth-valued logic'. Together they form a unique fingerprint.

    Cite this