We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax […]
Category: Uncategorized
Fall 2020 edition of forall x: Calgary
The Fall 2020 edition of forall x: Calgary is now available. The changes are: some behind-the-scenes reorganization of the files […]
Fall 2019 textbook editions now available on Amazon
The Fall 2019 editions of the OLP-based textbooks Sets, Logic, Computation, Incompleteness and Computability, and Boxes and Diamonds, are now […]
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 […]
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 […]
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!
forall x YYC: Winter is coming
Pulled the switch on the new natural deduction rules; the Winter 2018 ß version is now out. If you have […]