Seppo Ilkka

• A new arithmetization for finitely many-valued propositional calculi