Results 311 to 320 of about 653,229 (328)

resolution method for a lattice-valued first-order logic

Engineering Applications of Artificial Intelligence, 2011
Xingxing He, Yang Xu, Jun Liu
exaly  

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

Information Sciences, 2007
Yang Xu
exaly  

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

Soft Computing, 2011
Xingxing He, Yang Xu, Jun Liu
exaly  

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

Soft Computing, 2012
Yang Xu, Jun Liu, Shuwei Chen
exaly  

Operational semantics of resolution and productivity in Horn clause logic

Formal Aspects of Computing, 2017
Peng Fu, Ekaterina Komendantskaya
exaly  

A resolution calculus for the branching-time temporal logic CTL

ACM Transactions on Computational Logic, 2014
Ullrich Hustadt, Clare Dixon
exaly  

Clausal logic and resolution

2009
openaire   +2 more sources

( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic

Information Sciences, 2017
Li Zou
exaly  

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Electronic Notes in Theoretical Computer Science, 2009
Ekaterina Komendantskaya
exaly  

Fuzzy operator logic and fuzzy resolution

Journal of Automated Reasoning, 1993
exaly