I'm learning Mathematica(v8) to use it to program formal logic. Can anyone recommend a logic-specific tutorial text? A reference list of logic-related functions would also be very appreciated!

  • $\begingroup$ Have you seen this: mathematica.stackexchange.com/a/259/5 $\endgroup$ – rm -rf Oct 28 '12 at 4:26
  • $\begingroup$ @rm-rf: Yeah, that post is very helpful as far as general programming is concerned--I was just hoping there might be something more logic-specific out there, as I'm not planning to use the language for anything else.=) $\endgroup$ – QuietThud Oct 28 '12 at 5:40
  • $\begingroup$ Ok, no problem. I don't know anything, but someone might answer. In future, it is good practice to mention if you've already seen some relevant resource/material and it didn't satisfy your needs (in this case, the above link) :) $\endgroup$ – rm -rf Oct 28 '12 at 8:10
  • $\begingroup$ In The Mathematica Journal Vol4 issue 2, R. Maeder implements a Prolog Interpreter in Mathematica. Very interesting. His package is old and doesn't work any more (since Mathematica 6, I think). I don't know if the problem is serious. $\endgroup$ – andre314 Feb 8 '13 at 20:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.