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

Thread Tools
Show Printable Version Email this Page

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 Forum Rules

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