Title: Three-valued logic and cut-elimination
Subjects: Many-valued logic, Predicate calculus