The Fall 2019 editions of the OLP-based textbooks Sets, Logic, Computation, Incompleteness and Computability, and Boxes and Diamonds, are now […]
News
Fall 2019 edition of forall x:YYC is out
The Fall 2019 edition of forall x: Calgary is officially out. It’s available for download at forallx.openlogicproject.org and can be […]
Tim Button’s Open Set Theory now part of the Open Logic Project
Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]
Hello Russia and South America!
The Open Logic Project website was hosted on a University of Calgary server that blocked visitors from various geographical regions […]
Sneak Peek: forall x, now with Modal Logic
The next release of forall x: Calgary will include chapters on modal logic (natural deduction proof system and Kripke semantics). […]
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 […]
forall x is going CC BY
The original forall x by P.D. Magnus, as well as Tim Button’s forall x: Cambridge, and the forallx: Calgary remix […]
Open Logic at Open Education Week 2018
It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of […]
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!