Results 1 to 3 of 3

Math Help - I need information related to four valued logics

  1. #1
    Newbie
    Joined
    Aug 2010
    Posts
    8

    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.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,535
    Thanks
    778
    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).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by mvCristi View Post
    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.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logics Help!!
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: December 9th 2009, 01:38 PM
  2. Proposition Logics - Seriously need help!
    Posted in the Advanced Math Topics Forum
    Replies: 2
    Last Post: November 6th 2008, 04:37 PM
  3. Can you prove that P, Q, or L [Propositional Logics]
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: February 12th 2008, 11:17 AM
  4. Venn Diagram Logics
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: October 18th 2007, 11:20 AM
  5. please help me with my logics h.w
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: June 18th 2007, 07:56 PM

Search Tags


/mathhelpforum @mathhelpforum