Finiteness in Infinite-Valued Σukasiewicz Logic
Journal of Logic, Language and Information
Complexity of many-valued logics
Beyond two
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic (TOCL)
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
Proof search in Hájek's basic logic
ACM Transactions on Computational Logic (TOCL)
Proof Theory for First Order Łukasiewicz Logic
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Theoretical Computer Science
On the refutational completeness of signed binary resolution and hyperresolution
Fuzzy Sets and Systems
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Making fuzzy description logic more general
Fuzzy Sets and Systems
The coherence of Łukasiewicz assessments is NP-complete
International Journal of Approximate Reasoning
Effective finite-valued approximations of general propositional logics
Pillars of computer science
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
Poset representation for gödel and nilpotent minimum logics
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
An SMT-Based solver for continuous t-norm based logics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
| Hi-index | 5.23 |