On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

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

Research outputpeer-review

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.
Original languageEnglish
Title of host publicationHybrid Artificial Intelligence Systems
Place of PublicationHeidelberg, Germany
Pages328-334
Volume2
StatePublished - Jun 2010
EventHybrid Artificial Intelligence Systems - 5th International Conference HAIS2010, San Sebastián
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

Cite this