Automated deduction for many-valued logics
Handbook of automated reasoning
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |