On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

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

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

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

Nuclear Systems Measurements

Research output › peer-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 language	English
Title of host publication	Hybrid Artificial Intelligence Systems
Place of Publication	Heidelberg, Germany
Pages	328-334
Volume	2
State	Published - Jun 2010
Event	Hybrid Artificial Intelligence Systems - 5th International Conference HAIS2010, San Sebastián Duration: 23 Jun 2010 → 25 Jun 2010

Publication series

Name	Lecture Notes in Artificial Intelligence
Number	6077

Conference

Conference	Hybrid Artificial Intelligence Systems
Country/Territory	Spain
City	San Sebastián
Period	2010-06-23 → 2010-06-25

Cite this

@inproceedings{6b93e487275744e0a5e91b22379dfdb9,

title = "On Compactness and Consistency in Finite Lattice-Valued Propositional Logic",

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.",

keywords = "Lattice-valued logic, Consequence operation, Compactness, Fuzzy theory, Consistency",

author = "Xiaodong Pan and Yang Xu and Luis Martinez and Da Ruan and Jun Liu and Jan Wagemans",

note = "Score = 3; Hybrid Artificial Intelligence Systems ; Conference date: 23-06-2010 Through 25-06-2010",

year = "2010",

month = jun,

language = "English",

isbn = "978-3-642-13802-7",

volume = "2",

series = "Lecture Notes in Artificial Intelligence",

number = "6077",

pages = "328--334",

booktitle = "Hybrid Artificial Intelligence Systems",

}

TY - GEN

T1 - On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

AU - Pan, Xiaodong

AU - Xu, Yang

AU - Martinez, Luis

AU - Ruan, Da

AU - Liu, Jun

A2 - Wagemans, Jan

N1 - Score = 3

PY - 2010/6

Y1 - 2010/6

N2 - 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.

AB - 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.

KW - Lattice-valued logic

KW - Consequence operation

KW - Compactness

KW - Fuzzy theory

KW - Consistency

UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_111343

UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_111343_2

UR - http://knowledgecentre.sckcen.be/so2/bibref/7766

M3 - In-proceedings paper

SN - 978-3-642-13802-7

VL - 2

T3 - Lecture Notes in Artificial Intelligence

SP - 328

EP - 334

BT - Hybrid Artificial Intelligence Systems

CY - Heidelberg, Germany

T2 - Hybrid Artificial Intelligence Systems

Y2 - 23 June 2010 through 25 June 2010

ER -