mirror of
https://github.com/arranstewart/magic.git
synced 2024-11-21 20:47:09 -05:00
16 lines
515 B
Markdown
16 lines
515 B
Markdown
# 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](http://ftp.rsise.anu.edu.au/techreports/1995/TR-ARP-11-95.ps.gz), and a local copy is stored in the directory `manual`.
|
|
|
|
|