Finiteness in Infinite-Valued Σukasiewicz Logic
Journal of Logic, Language and Information
Analytic Sequent Calculi for Abelian and ukasiewicz Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |