Before revision: The term finitely many-valued logic is tyically used to describe many-valued logic having three or more, but not infinite, truth values.
After revision: The term finitely many-valued logic is typically used to describe many-valued logic having three or more, but not infinite, truth values.