# Thread: I need information related to four valued logics

1. ## I need information related to four valued logics

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.

2. Four-valued Belnap logic is used in logic programming to give semantics to logic programs (which are sets of formulas) that corresponds in some sense to their operational semantics, i.e., their behavior. One paper is "Fixpoint Semantics for Logic Programming. A Survey" by Melvin Fitting (available online).

3. 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.
I don't know much about the subject but thought it could be useful to write some search terms. Maybe you've already used them all, but in case you missed any:

4-valued logic
4-ary logic
4-valent logic
quaternary logic
quadrivalent logic
multi-valued logic
n-ary logic
n-valent logic
n-valued logic

and all the terms here, including quinary, senary, ..., polyadic, multary, multiary.