Month: September 2013

proofbox.sty

And check out Paul Taylor’s page for doing proofs in LaTeX!

http://www.paultaylor.eu/proofs/

 

Here is a great resource from one of the most influential logicians alive.

Johan van Benthem’s book, Modal Logic for Open Minds, is a wonderfully clear introduction to the new synthesis, bringing ideas from logic, philosophy, computer science, and linguistics.

 

VanBenthem-ModalLogic

I’ve posted a couple of good articles about propositional logic and the use of tableaux in proofs. The first is a great article by Mordechai Ben-Ari called

“Propositional Logic: Formulas, Models, Tableaux”

The second is a set of slides on tableaux from Paolo Liberatore’s course on automated reasoning:

http://www.dis.uniroma1.it/~liberato/ar/tableau/tableau.html