To be more precise, I want to know wich are the four valued logics in use. I searched a lot but I'm not sure that I found allof them. They may be modeld by Boolean algebras, Heyting algebras, MV-algebras ( multi valued; like the Jan Łukasiewicz logic), etc. I'm interestited also in multi-valued logics (finit or infinit (countable and uncountable)) wich might have a particular case with four values.
Examples, explanations, Title of books and articles, links etc., all of them are welcome.