Originally Posted by

**mvCristi** **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.