Results 241 to 248 of about 2,655,411 (248)

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic

2015
Li Zou
exaly  

α-group resolution method based on lattice-valued propositional logic LP(X)

2011
Yang Xu, Xiaomei Zhong
exaly  

α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra

International Journal of Applied Management Science, 2012
exaly  

α-generalized linear resolution method based on lattice-valued propositional logic LP(X)

2011
Yang Xu
exaly  

Fuzzy temporal constraint logic: a valid resolution principle

Fuzzy Sets and Systems, 2001
exaly  

α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system

2017
exaly  

An elimination resolution based on propositional logic

2016
exaly  

Resolution principle based on finite chain lattice-valued proposition logic FCLP(X)

exaly