path: root/math/plman/pkg-descr

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.

Author: Takayuki Hoshi
WWW:    http://plman.sourceforge.net/