blob: 029917a73622cd2efcfc3c92db6adf4c55667b01 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
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/
|
