RECENT POSTS
Plman
May 26, 2018
Propositional Logic sentence shell/interpreter
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.
WWW http//plman.sourceforge.net/
- Older
- Newer