The next release of forall x: Calgary will include chapters on modal logic (natural deduction proof system and Kripke semantics). […]
Category: Progress
New Layout, Cover Design for forall x
I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]
Modal Logic! Propositional Logic! Tableaux!
Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is […]
Now With Axiomatic Derivations!
In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!
Making an Accessible Open Logic Textbook (for Dyslexics)
In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro […]
New Edition of Sets, Logic, Computation
The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE]. […]
Fall 2016 edition of Sets, Logic, Computation
The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part […]
More Photos of Logicians
As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived […]
An Actual Textbook, and: Photos!
Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about […]
New in the Open Logic Project: Turing Machines
We’ve had a very rudimentary chapter on Turing machines in the OLP for a while. Samara and I have been […]