A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Automated deduction for many-valued logics
Handbook of automated reasoning
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Mapping problems with finite-domain variables to problems with boolean variables
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae
Hi-index | 0.00 |