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

Category: Uncategorized

November 5, 2022

Follow the Open Logic Project on Mastodon

Uncategorized by openlogic2 comments

Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts […]

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

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.