- The Logic Daemon
- logic.tamu.edu
- On-line proof checker, and texts.
4.0
(si*)
>10
-
5
- Logic Tutorial
- logictutorial.com
- An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
3.5
(si*)
>30
<5
4
The rating value is calculated according to the algorithm, which considers all rating indicators.
As soon as number of users ratings reaches defined level, the rating is to be substituted by the users one.