Results 201 to 210 of about 1,395,634 (216)

Semantic theory of finite lattice-valued propositional logic

Science China Information Sciences, 2010
Xiaodong Pan, Yang Xu 0001
openaire   +2 more sources

-Resolution principle based on first-order lattice-valued logic ()

Information Sciences, 2001
Etienne E Kerre
exaly  

-Resolution principle based on lattice-valued propositional logic LP()

Information Sciences, 2000
Etienne E Kerre
exaly  

Determination of -resolution in lattice-valued first-order logic LF(X)

Information Sciences, 2011

exaly  

Filter-based resolution principle for lattice-valued propositional logic LP()

Information Sciences, 2007
Li wenjiang
exaly  

General form of α-resolution principle for linguistic truth-valued lattice-valued logic

Soft Computing, 2012
Yang Xu, Shuwei Chen
exaly  

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic

Soft Computing, 2011
Shuwei Chen
exaly  

A RESOLUTION METHOD ON LATTICE-VALUED TENSE PROPOSITIONAL LOGIC

Applied Computational Intelligence, 2004
WENJIANG LI, YANG XU
openaire   +1 more source

L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC

Computational Intelligence, 2010
XIAODONG PAN, KAIJUN XU, KEYUN QIN, YANG XU   +3 more
openaire   +1 more source

A NEW LATTICE-VALUED PROPOSITIONAL LOGIC (I): SEMANTICS

Computational Intelligent Systems for Applied Research, 2002
KEYUN QIN, YANG XU
openaire   +1 more source