Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it’s time to refresh those to Fall 2025 editions. These will incorporate all t…| Open Logic Project
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 logic textbooks of the forall x family). It is now…| Open Logic Project
I’ve removed the “beta” from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on Amazon (US | CA | UK | DE | AU).| Open Logic Project
I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a bit to see if there are any problems. Here’s a list of changes: Fully accessible H…| Open Logic Project
The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relat…| Open Logic Project
Do you have a Mastodon account? The OLP website now runs the ActivityPub plugin and you can get website posts in your Mastodon timeline by following @openlogic@openlogicproject.org. Note: this isn&…| Open Logic Project
In preparation for the Fall 2021 edition of Sets, Logic, Computation, the material in the Open Logic Project has seen a number of recent changes and additions. Here’s a rundown. I’d be …| Open Logic Project
ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German version (PDF) and para todxs: Natal by Daniel Durante et al is the Portugue…| Open Logic Project
We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax and semantics in general terms. A chapter on three-valued logics disc…| Open Logic Project
I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned out that LaTeXML has come a long way and basically produced good results without t…| Open Logic Project
