This is not my area, so apologizes if I am asking nonsense!
I know that there are very good solver/theorem provers for solving 1st order logic.
Now I have a problem, using 3-valued logic, but I am not sure if there are some practical ways of solving 3-valued logic (or converting it to a bigger 2-valued logic problem?)
EDIT1: Is it possible to translated (~reduce?) any 3-valued logic to 2-valued logic? Can this be generalized to K-valued logic, where K is any arbitrary integer? (What about the case when K is infinity?)
Any idea or reference is appreciated.