Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Java > formal logic

Reply
Thread Tools

formal logic

 
 
Michael Averstegge
Guest
Posts: n/a
 
      08-15-2003
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


 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
Python Logic Map/Logic Flow Chart. (Example Provided) spike Python 8 02-09-2010 12:31 PM
Asynchronous Logic Gates and Analog Logic Gates Jyoti Ballabh Software 3 11-26-2009 06:48 PM
Formal Verification Survey Sebastian Jaeger VHDL 0 10-24-2003 02:10 AM
Good websites for Formal Verification ? thewhizkid VHDL 3 10-07-2003 03:04 PM
Tool survey for syntax for formal => actual eadgbe VHDL 3 09-11-2003 11:37 AM



Advertisments