Results 231 to 240 of about 2,655,411 (248)
Some of the next articles are maybe not open access.
α-Resolution principle based on first-order lattice-valued logic LF(X)
Information Sciences, 2001exaly
A resolution-like strategy based on a lattice-valued logic
IEEE Transactions on Fuzzy Systems, 2003exaly
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences, 2011exaly
Multiary α-Resolution Principle for a Lattice-Valued Logic
IEEE Transactions on Fuzzy Systems, 2013Shuwei Chen, Xiaomei Zhong
exaly
resolution method for a lattice-valued first-order logic
Engineering Applications of Artificial Intelligence, 2011He Xingxing
exaly
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences, 2007Li Wenjiang
exaly
Resolution calculus for the first order linear logic
Journal of Logic, Language and Information, 1993Grigori Mints
exaly
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic, 2014Ullrich Hustadt, Clare Dixon
exaly
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science, 2009Ekaterina Komendantskaya +1 more
exaly