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

Author: rzach

July 10, 2021

Updates to OLP for Fall 2021 edition of Sets, Logic, Computation

Uncategorized by rzach0 comments

In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen […]

Read more>>
June 20, 2021

forall x: Calgary goes international (and other updates)

Uncategorized by rzach0 comments

ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German […]

Read more>>
September 25, 2020September 25, 2020

Many-valued logic in the OLP

Uncategorized by rzach0 comments

We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax […]

Read more>>
August 3, 2020August 3, 2020

Fall 2020 edition of forall x: Calgary

Uncategorized by rzach0 comments

The Fall 2020 edition of forall x: Calgary is now available. The changes are: some behind-the-scenes reorganization of the files […]

Read more>>
November 11, 2019November 11, 2019

Fall 2019 textbook editions now available on Amazon

Uncategorized by rzach0 comments

The Fall 2019 editions of the OLP-based textbooks Sets, Logic, Computation, Incompleteness and Computability, and Boxes and Diamonds, are now […]

Read more>>
September 10, 2019September 18, 2019

Fall 2019 edition of forall x:YYC is out

Uncategorized by rzach0 comments

The Fall 2019 edition of forall x: Calgary is officially out. It’s available for download at forallx.openlogicproject.org and can be […]

Read more>>
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>>
May 24, 2019May 24, 2019

Hello Russia and South America!

Uncategorized by rzach0 comments

The Open Logic Project website was hosted on a University of Calgary server that blocked visitors from various geographical regions […]

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

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

  • 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
  • Fall 2020 edition of forall x: Calgary

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.