mirror of
https://github.com/arranstewart/magic.git
synced 2024-11-14 20:40:21 -05:00
515 B
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
.