The Open Logic Project website was hosted on a University of Calgary server that blocked visitors from various geographical regions […]
Category: Uncategorized
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 […]
ISSOTL 2017 Presentation of Student-Oriented Logic Course
Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his […]
Natural Deduction Rules in forall x: Calgary
Prompted by a good suggestion by Richard Lawrence and support from Catrin Campbell-Moore, we’ve been working on revising the natural […]
Textbook Satisfaction Survey Results: Intro Logic Edition
As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success […]
A Fistful of Commits
I just checked in a whole bunch of changes to the part on first-order logic. Most of it is in […]