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 (in print/issue) - 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
    Country/TerritoryChina
    CityEmei, Chengdu
    Period2/08/104/08/10

    Bibliographical note

    Funding Information:
    * This work is supported by the National Natural Science Foundation of China (No. 60875034), the Specialized Research Foundation for the Doctoral Program of Higher Education of China (Grant No. 20060613007), and the research project TIN2009-08286 and P08-TIC-3548. † The correspondent author, email: [email protected].

    Publisher Copyright:
    © 2010 by World Scientific Publishing Co. Pte. Ltd.

    Fingerprint

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

    Cite this