On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

Research output: Contribution to report/book/conference proceedingsIn-proceedings paperpeer-review

Authors

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

Documents & links

Abstract

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.

Details

Original languageEnglish
Title of host publicationHybrid Artificial Intelligence Systems
Place of PublicationHeidelberg, Germany
Pages328-334
Volume2
Publication statusPublished - Jun 2010
EventHybrid Artificial Intelligence Systems - 5th International Conference HAIS2010, San Sebastián, Spain
Duration: 23 Jun 201025 Jun 2010

Publication series

NameLecture Notes in Artificial Intelligence
Number6077

Conference

ConferenceHybrid Artificial Intelligence Systems
Country/TerritorySpain
CitySan Sebastián
Period2010-06-232010-06-25

Keywords

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

ID: 143551