UCalgary version of forallx, an introduction to formal logic
TeX
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is 150 commits ahead, 1 commit behind OpenLogicProject:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
assets
solutions
.gitignore
LICENSE.md
README.md
cover-createspace-quarto.tex
cover-lulu-quarto.tex
forallx-yyc-alternatives.tex
forallx-yyc-backmatter.tex
forallx-yyc-content.tex
forallx-yyc-fol.tex
forallx-yyc-frontmatter.tex
forallx-yyc-interpretations.tex
forallx-yyc-metatheory.tex
forallx-yyc-notation.tex
forallx-yyc-preface.tex
forallx-yyc-prooffol.tex
forallx-yyc-prooftfl.tex
forallx-yyc-quickreference.tex
forallx-yyc-tfl.tex
forallx-yyc-truthtables.tex
forallx-yyc-what.tex
forallxyyc-accessible.tex
forallxyyc-letter.tex
forallxyyc-local-sample.sty
forallxyyc-print.tex
forallxyyc.sty
forallxyyc.tex

README.md

forallx-yyc

Book Cover

This is the formal logic textbook, forall x: Calgary Remix. It is based on forall x: Cambridge, by Tim Button used under a CC BY-SA 3.0 license, which is based in turn on forall x, by P.D. Magnus used under a CC BY-SA 3.0 license, and was remixed, revised, & expanded by Aaron Thomas-Bolduc & Richard Zach. It includes additional material from forall x by P.D. Magnus and Metatheory by Tim Button, both used under a CC BY-SA 3.0 license, and from forall x: Lorain County Remix, by Cathal Woods and J. Robert Loftis, used under a CC BY-SA 4.0 license.

Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

The LaTeX source code for this work is available on GitHub at github.com/rzach/forallx-yyc.

Download PDFs

You can download PDFs of the files here:

Note that these files change whenevery the source files are changed. So if you use the text in a course, better to download the PDFs and make them available to students directly, than to link here.

Buy a Printed Copy

If you'd like to purchase a nice paperback copy, you can do so on Lulu.com or Amazon (Canada, UK)

(The process for getting the book printed is described here and here.)

Make PDFs Yourself

Clone the GitHub repository locally or download the ZIP file and run LaTeX on one of

  • forallxyyc.tex (in color, for screen reading)
  • forallxyyc-print.tex (b/w, for printing on Quarto stock)
  • forallxyyc-letter.tex (b/w, for printing on regular letter-size paper)

You'll have to run makeglossaries to produce the glossary as well.

To make changes to the definitions in the preamble and forallyyc.sty file, put them in a file named forallxyyc-local.sty. For instance, to get the connectives to be & for and and horseshoe for the conditional, copy forallxyyc-local-sample.sty to that file.