mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-14 03:10:47 +00:00
7902abf653
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 <hoshi103@chapman.edu> WWW: http://plman.sourceforge.net/ PR: ports/90277 Submitted by: Nicola Vitale <nivit@email.it>
9 lines
385 B
Plaintext
9 lines
385 B
Plaintext
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 <hoshi103@chapman.edu>
|
|
WWW: http://plman.sourceforge.net/
|