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

Category: Progress

August 29, 2019March 21, 2020

Tim Button’s Open Set Theory now part of the Open Logic Project

Progress by rzach1 comment

Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]

Read more>>
March 29, 2019May 23, 2019

Sneak Peek: forall x, now with Modal Logic

Progress by rzach0 comments

The next release of forall x: Calgary will include chapters on modal logic (natural deduction proof system and Kripke semantics). […]

Read more>>
January 7, 2019

New Layout, Cover Design for forall x

Progress by rzach0 comments

I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]

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>>
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 28, 2016

Fall 2016 edition of Sets, Logic, Computation

Progress by rzach0 comments

The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part […]

Read more>>
July 1, 2016

More Photos of Logicians

Progress by rzach0 comments

As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived […]

Read more>>
March 12, 2016September 18, 2019

An Actual Textbook, and: Photos!

Progress by rzach1 comment

Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about […]

Read more>>
January 8, 2016

New in the Open Logic Project: Turing Machines

Progress by rzach2 comments

We’ve had a very rudimentary chapter on Turing machines in the OLP for a while.  Samara and I have been […]

Read more>>
December 12, 2015

Walter Dean (Warwick) Joins Editorial Board

Progress by openlogic0 comments

We’re happy to announce that Walter Dean, Associate Professor of Philosophy at the University of Warwick, has joined the Open […]

Read more>>

Posts navigation

Older 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.