On compactness and consistency in finite lattice-valued propositional logic

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

    Research output: Contribution to journalConference articlepeer-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
    Pages (from-to)328-334
    Number of pages7
    JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume6077 LNAI
    Issue numberPART 2
    Publication statusPublished (in print/issue) - 2010
    Event5th International Conference on Hybrid Artificial Intelligence Systems, HAIS 2010 - San Sebastian, Spain
    Duration: 23 Jun 201025 Jun 2010


    • Compactness
    • Consequence operation
    • Consistency
    • Fuzzy theory
    • Lattice-valued logic


    Dive into the research topics of 'On compactness and consistency in finite lattice-valued propositional logic'. Together they form a unique fingerprint.

    Cite this