magic/README.md
2017-10-20 22:41:42 +08:00

515 B

MaGIC: Matrix Generator for Implication Connectives

A copy of the code and documentation for John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logical research.

MaGIC homepage

The MaGIC homepage is at http://users.cecs.anu.edu.au/~jks/magic.html.

MaGIC manual

The link to the MaGIC manual on the MaGIC homepage is broken; the correct link is here, and a local copy is stored in the directory manual.