Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open […]
Category: Uncategorized
Fall 2023 version of forall x: Calgary
I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a […]
The Open Logic Project is 10!
The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin […]
Follow the Open Logic Project on Mastodon
Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts […]
Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen […]
forall x: Calgary goes international (and other updates)
ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German […]
Many-valued logic in the OLP
We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax […]
Fall 2020 edition of forall x: Calgary
The Fall 2020 edition of forall x: Calgary is now available. The changes are: some behind-the-scenes reorganization of the files […]
Fall 2019 textbook editions now available on Amazon
The Fall 2019 editions of the OLP-based textbooks Sets, Logic, Computation, Incompleteness and Computability, and Boxes and Diamonds, are now […]
Fall 2019 edition of forall x:YYC is out
The Fall 2019 edition of forall x: Calgary is officially out. It’s available for download at forallx.openlogicproject.org and can be […]