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

Category: Uncategorized

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

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.