├── .gitignore ├── ADOPTIONS.md ├── Bookml.mk ├── CHANGELOG.md ├── LICENSE.md ├── README.md ├── assets ├── by.pdf ├── cc.pdf ├── forallx-coverart-full.pdf ├── forallx-coverart-full.svg ├── forallx-coverart-screen.pdf ├── forallx-coverart-screen.svg ├── remix.pdf ├── sa.pdf ├── ti-color.pdf └── ti-color.png ├── fitch.sty ├── fitchml.css ├── fitchml.sty ├── forallx-yyc-accessibility.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-ml.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-accessible.xmpdata ├── forallxyyc-cover-kdp.tex ├── forallxyyc-cover-lulu.tex ├── forallxyyc-html.sty ├── forallxyyc-html.tex ├── forallxyyc-letter.tex ├── forallxyyc-local-sample.sty ├── forallxyyc-print.tex ├── forallxyyc-style.sty ├── forallxyyc.css ├── forallxyyc.sty ├── forallxyyc.tex ├── forallxyyc.xmpdata ├── latexml.sty └── solutions ├── fitch.sty ├── forallx-sol-fol.tex ├── forallx-sol-frontmatter.tex ├── forallx-sol-interpretations.tex ├── forallx-sol-metatheory.tex ├── forallx-sol-ml.tex ├── forallx-sol-prooffol.tex ├── forallx-sol-prooftfl.tex ├── forallx-sol-tfl.tex ├── forallx-sol-truthtables.tex ├── forallx-sol-what.tex ├── forallxyyc-solutions.tex └── latexml.sty /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/.gitignore -------------------------------------------------------------------------------- /ADOPTIONS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/ADOPTIONS.md -------------------------------------------------------------------------------- /Bookml.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/Bookml.mk -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/README.md -------------------------------------------------------------------------------- /assets/by.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/by.pdf -------------------------------------------------------------------------------- /assets/cc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/cc.pdf -------------------------------------------------------------------------------- /assets/forallx-coverart-full.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/forallx-coverart-full.pdf -------------------------------------------------------------------------------- /assets/forallx-coverart-full.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/forallx-coverart-full.svg -------------------------------------------------------------------------------- /assets/forallx-coverart-screen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/forallx-coverart-screen.pdf -------------------------------------------------------------------------------- /assets/forallx-coverart-screen.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/forallx-coverart-screen.svg -------------------------------------------------------------------------------- /assets/remix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/remix.pdf -------------------------------------------------------------------------------- /assets/sa.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/sa.pdf -------------------------------------------------------------------------------- /assets/ti-color.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/ti-color.pdf -------------------------------------------------------------------------------- /assets/ti-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/assets/ti-color.png -------------------------------------------------------------------------------- /fitch.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/fitch.sty -------------------------------------------------------------------------------- /fitchml.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/fitchml.css -------------------------------------------------------------------------------- /fitchml.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/fitchml.sty -------------------------------------------------------------------------------- /forallx-yyc-accessibility.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-accessibility.tex -------------------------------------------------------------------------------- /forallx-yyc-alternatives.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-alternatives.tex -------------------------------------------------------------------------------- /forallx-yyc-backmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-backmatter.tex -------------------------------------------------------------------------------- /forallx-yyc-content.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-content.tex -------------------------------------------------------------------------------- /forallx-yyc-fol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-fol.tex -------------------------------------------------------------------------------- /forallx-yyc-frontmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-frontmatter.tex -------------------------------------------------------------------------------- /forallx-yyc-interpretations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-interpretations.tex -------------------------------------------------------------------------------- /forallx-yyc-metatheory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-metatheory.tex -------------------------------------------------------------------------------- /forallx-yyc-ml.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-ml.tex -------------------------------------------------------------------------------- /forallx-yyc-notation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-notation.tex -------------------------------------------------------------------------------- /forallx-yyc-preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-preface.tex -------------------------------------------------------------------------------- /forallx-yyc-prooffol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-prooffol.tex -------------------------------------------------------------------------------- /forallx-yyc-prooftfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-prooftfl.tex -------------------------------------------------------------------------------- /forallx-yyc-quickreference.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-quickreference.tex -------------------------------------------------------------------------------- /forallx-yyc-tfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-tfl.tex -------------------------------------------------------------------------------- /forallx-yyc-truthtables.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-truthtables.tex -------------------------------------------------------------------------------- /forallx-yyc-what.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallx-yyc-what.tex -------------------------------------------------------------------------------- /forallxyyc-accessible.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-accessible.tex -------------------------------------------------------------------------------- /forallxyyc-accessible.xmpdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-accessible.xmpdata -------------------------------------------------------------------------------- /forallxyyc-cover-kdp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-cover-kdp.tex -------------------------------------------------------------------------------- /forallxyyc-cover-lulu.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-cover-lulu.tex -------------------------------------------------------------------------------- /forallxyyc-html.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-html.sty -------------------------------------------------------------------------------- /forallxyyc-html.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-html.tex -------------------------------------------------------------------------------- /forallxyyc-letter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-letter.tex -------------------------------------------------------------------------------- /forallxyyc-local-sample.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-local-sample.sty -------------------------------------------------------------------------------- /forallxyyc-print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-print.tex -------------------------------------------------------------------------------- /forallxyyc-style.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc-style.sty -------------------------------------------------------------------------------- /forallxyyc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc.css -------------------------------------------------------------------------------- /forallxyyc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc.sty -------------------------------------------------------------------------------- /forallxyyc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc.tex -------------------------------------------------------------------------------- /forallxyyc.xmpdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/forallxyyc.xmpdata -------------------------------------------------------------------------------- /latexml.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/latexml.sty -------------------------------------------------------------------------------- /solutions/fitch.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/fitch.sty -------------------------------------------------------------------------------- /solutions/forallx-sol-fol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-fol.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-frontmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-frontmatter.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-interpretations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-interpretations.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-metatheory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-metatheory.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-ml.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-ml.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-prooffol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-prooffol.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-prooftfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-prooftfl.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-tfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-tfl.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-truthtables.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-truthtables.tex -------------------------------------------------------------------------------- /solutions/forallx-sol-what.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallx-sol-what.tex -------------------------------------------------------------------------------- /solutions/forallxyyc-solutions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/forallxyyc-solutions.tex -------------------------------------------------------------------------------- /solutions/latexml.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/forallx-yyc/HEAD/solutions/latexml.sty --------------------------------------------------------------------------------