Gert-Jan C. Lokhorst


MaGIC is a "Matrix Generator for Implication Connectives." This program finds matrices for implication connectives for a wide range of propositional logics. MaGIC was written by John Slaney of the Automated Reasoning Group, The Research School of Information Sciences and Engineering, The Australian National University. The source code of MaGIC can be obtained from John Slaney's page about MaGIC. A version compiled for 32-bit Windows is to be found here: This program can be expected to run on all modern 32 bit versions of Windows, except Windows CE. This includes Windows 95/98/ME/NT/2000/XP/2003/Vista and the WOW64 32 bit environment on released 64 bit versions of Windows.

Previous | Up | Next || July 17, 2015 || HTML 4.01 Strict