On compactness and consistency in finite lattice-valued propositional logic

Xiaodong Pan, Yang Xu, Luis Martinez, Da Ruan, Jun Liu

    Research outputpeer-review


    In this paper, we investigate the semantical theory of finite lattice-valued propositional logic based on finite lattice implication algebras. Based on the fuzzy set theory on a set of formulas, some propositions analogous to those in the classical logic are proved, and using the semantical consequence operation, the consistence and compactness is investigated.

    Original languageEnglish
    Title of host publicationHybrid Artificial Intelligence Systems
    Place of PublicationHeidelberg, Germany
    Number of pages7
    Volume6077 LNAI
    EditionPART 2
    StatePublished - 2010
    EventHAIS - 2010: 5th International Conference on Hybrid Artificial Intelligence Systems - 5th International Conference HAIS2010, San Sebastian
    Duration: 23 Jun 201025 Jun 2010

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    ISSN (Print)0302-9743


    ConferenceHAIS - 2010
    Abbreviated titleHAIS
    CitySan Sebastian

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • General Computer Science

    Cite this