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

Author: rzach

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

  • Many-valued logic in the OLP
  • Fall 2020 edition of forall x: Calgary
  • Fall 2019 textbook editions now available on Amazon
  • Fall 2019 edition of forall x:YYC is out
  • Tim Button’s Open Set Theory now part of the Open Logic Project

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.