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 -