Results 141 to 150 of about 58,088 (162)

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

Information Sciences, 2000
Da Ruan
exaly  

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

Information Sciences, 2001
Da Ruan
exaly  

Multiary α-Resolution Principle for a Lattice-Valued Logic

IEEE Transactions on Fuzzy Systems, 2013
Xiaomei Zhong, Shuwei Chen
exaly  

A resolution-like strategy based on a lattice-valued logic

IEEE Transactions on Fuzzy Systems, 2003
Da Ruan
exaly  

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

Information Sciences, 2011
Da Ruan
exaly  

resolution method for a lattice-valued first-order logic

Engineering Applications of Artificial Intelligence, 2011
Xingxing He, Da Ruan
exaly  

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

Information Sciences, 2007
Wenjiang Li, Da Ruan
exaly  

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

Soft Computing, 2011
Xingxing He, Shuwei Chen, Chen Shuwei
exaly  

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

Soft Computing, 2012
Xiaomei Zhong, Yang Xu, Shuwei Chen
exaly  

Resolution calculus for the first order linear logic

Journal of Logic, Language and Information, 1993
Grigori Mints, Mints Grigori
exaly