In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!
News
‘Tis the Season of Giving!
Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into […]
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, […]