Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is […]
Author: rzach
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 […]
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 […]
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]. […]
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 […]
Diagrams, and a Chapter on How to do Proofs
Two major new additions: Paul Daniell has contributed a number of very nice illustrations for the “Sets” and “Functions” chapters, […]