Finiteness in Infinite-Valued Σukasiewicz Logic
Journal of Logic, Language and Information
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Analytic Sequent Calculi for Abelian and ukasiewicz Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Complexity of many-valued logics
Beyond two
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic (TOCL)
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Dual tableau for monoidal triangular norm logic MTL
Fuzzy Sets and Systems
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
| Hi-index | 5.23 |