Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Java > formal logic

Thread Tools

formal logic

Michael Averstegge
Posts: n/a

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

Input should be a string.

Can anybody help me?


Reply With Quote

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