2005-12-21 05:10:09 +01:00
|
|
|
PLMan, or Propositional LogicMan, is a user-friendly and powerful
|
|
|
|
|
propositional logic (sometimes called sentential logic or
|
|
|
|
|
propositional calculus) sentence shell/interpreter written in Java,
|
|
|
|
|
capable of handling many existing propositional systems of
|
|
|
|
|
propositional logic, especially the important ones.
|
|
|
|
|
|
2006-05-11 16:03:12 +02:00
|
|
|
Author: Takayuki Hoshi
|
2005-12-21 05:10:09 +01:00
|
|
|
WWW: http://plman.sourceforge.net/
|
