Title: Automated deduction in multiple-valued logics
Subjects: Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical