Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Author: rzach

September 26, 2018September 18, 2019

forall x is going CC BY

Uncategorized by rzach0 comments

The original forall x by P.D. Magnus, as well as Tim Button’s forall x: Cambridge, and the forallx: Calgary remix […]

Read more>>
March 7, 2018August 12, 2019

Open Logic at Open Education Week 2018

Uncategorized by rzach0 comments

It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of […]

Read more>>
February 22, 2018

Modal Logic! Propositional Logic! Tableaux!

Uncategorized by rzach6 comments

Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is […]

Read more>>
December 23, 2017

Now With Axiomatic Derivations!

Uncategorized by rzach0 comments

In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!

Read more>>
November 27, 2017July 11, 2019

Making an Accessible Open Logic Textbook (for Dyslexics)

Progress by rzach0 comments

In the design and layout of the Open Logic Project texts as well as the Calgary Remix of the intro […]

Read more>>
November 24, 2017

forall x YYC: Winter is coming

Uncategorized by rzach0 comments

Pulled the switch on the new natural deduction rules; the Winter 2018 ß version is now out. If you have […]

Read more>>
October 20, 2017July 4, 2019

ISSOTL 2017 Presentation of Student-Oriented Logic Course

Uncategorized by rzach0 comments

Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his […]

Read more>>
October 18, 2017May 24, 2019

Natural Deduction Rules in forall x: Calgary

Uncategorized by rzach2 comments

Prompted by a good suggestion by Richard Lawrence and support from Catrin Campbell-Moore, we’ve been working on revising the natural […]

Read more>>
September 11, 2017

New Edition of Sets, Logic, Computation

Progress by rzach0 comments

The new (Fall 2017) edition of Sets, Logic, Computation is now officially done and available on Amazon [CA] [UK] [DE].  […]

Read more>>
August 31, 2017May 24, 2019

Textbook Satisfaction Survey Results: Intro Logic Edition

Uncategorized by rzach2 comments

As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success […]

Read more>>

Posts navigation

Older posts
Newer posts

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.