Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automated deduction for many-valued logics
Handbook of automated reasoning
Hi-index | 0.00 |