 | Domino on AcidA weird colorful solitaire variant of dominoes that visualizes natural deduction |
| Download | |
Domino on Acid Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Matthias S. Benkmann
- Publisher web site:
- http://www.wollmux.org/index.php/Main_Page
Domino on Acid Tags
Domino on Acid Description
A weird colorful solitaire variant of dominoes that visualizes natural deduction Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction.Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic. The game can be played online as an applet or offline as an application. It is built on a simple isometric engine that can be used independent of the game. Requirements: · Java 2 Standard Edition Runtime Environment
Domino on Acid Related Software