M
Michael Averstegge
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
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