formal logic

Discussion in 'Java' started by Michael Averstegge, Aug 15, 2003.

  1. Hi,

    I am searching for Java-libraries to work with formal logic.
    It should normalize (e.g. konjuntive) and find redundant parts in a logic
    expression
    and it finds out wether it is a kontradiction or a Tautology.

    Input should be a string.

    Can anybody help me?

    Greetings
     
    Michael Averstegge, Aug 15, 2003
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. eadgbe
    Replies:
    3
    Views:
    585
    eadgbe
    Sep 11, 2003
  2. thewhizkid
    Replies:
    3
    Views:
    743
    Jerker Hammarberg \(DST\)
    Oct 7, 2003
  3. Sebastian Jaeger

    Formal Verification Survey

    Sebastian Jaeger, Oct 24, 2003, in forum: VHDL
    Replies:
    0
    Views:
    1,740
    Sebastian Jaeger
    Oct 24, 2003
  4. ben cohen
    Replies:
    0
    Views:
    811
    ben cohen
    Jan 27, 2004
  5. spike
    Replies:
    8
    Views:
    1,498
    Steve Holden
    Feb 9, 2010
Loading...

Share This Page