A textbook on non-classical logics based on the Open Logic Project. Work in progress!
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook What if?, which in turn requires the Open Logic Text.
You can download the PDF of the most recent version from the Open Logic builds site.
To install and compile:
courses/
courses/what-if
.OpenLogic/assets
and put the content of photos
into the subdirectory photos
, and the content of portraits
into the subdirectory portraits
If you use git
, this should do it:
# git clone https://github.com/OpenLogicProject/OpenLogic.git
# cd OpenLogic/courses
# git clone https://github.com/rzach/what-if.git
# cd ../assets
# git clone https://github.com/OpenLogicProject/portraits.git
# git clone https://github.com/OpenLogicProject/photos.git
Inside courses/what-if
, you can now compile:
# cd what-if
# pdflatex wi-screen
or just # make
if you have latexmk
installed.
The file wi-screen.tex
produces a color version of the text with smaller margins for screen reading. wi-print
produces a black-and-white version designed for printing on Crown Quarto stock (without cover).
Both versions load wi.tex
, which contains the actual material. It in turn includes other files, most of them from the OpenLogic
repository. So you won’t get a complete book unless you download into the right subdirectory of and compile from there.
What If? by Audrey Yap and Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.