├── .gitignore ├── CHANGELOG.md ├── LICENSE.md ├── Makefile ├── README.md ├── assets ├── aboer-color.png ├── aboer-print.png ├── bd-coverart-full.pdf ├── bd-coverart-full.svg ├── by.pdf ├── by.png ├── by.svg ├── cc.pdf ├── cc.png ├── cc.svg ├── forallx-coverart-full.pdf ├── forallx-coverart-full.svg ├── remix.pdf ├── remix.png ├── remix.svg ├── sa.pdf ├── sa.png ├── sa.svg ├── ti-color.png ├── ti-print.pdf ├── ti-screen.png ├── ucarts-color.png ├── ucarts-print.pdf └── ucarts-screen.png ├── include ├── introduction.tex └── preface.tex ├── includeonly.tex ├── paraconsistent-logic.tex ├── wi-config.sty ├── wi-envs.sty ├── wi-metadata.tex ├── wi-print-cover.tex ├── wi-print.tex ├── wi-screen.tex ├── wi-screen.xmpdata └── wi.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/README.md -------------------------------------------------------------------------------- /assets/aboer-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/aboer-color.png -------------------------------------------------------------------------------- /assets/aboer-print.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/aboer-print.png -------------------------------------------------------------------------------- /assets/bd-coverart-full.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/bd-coverart-full.pdf -------------------------------------------------------------------------------- /assets/bd-coverart-full.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/bd-coverart-full.svg -------------------------------------------------------------------------------- /assets/by.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/by.pdf -------------------------------------------------------------------------------- /assets/by.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/by.png -------------------------------------------------------------------------------- /assets/by.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/by.svg -------------------------------------------------------------------------------- /assets/cc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/cc.pdf -------------------------------------------------------------------------------- /assets/cc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/cc.png -------------------------------------------------------------------------------- /assets/cc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/cc.svg -------------------------------------------------------------------------------- /assets/forallx-coverart-full.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/forallx-coverart-full.pdf -------------------------------------------------------------------------------- /assets/forallx-coverart-full.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/forallx-coverart-full.svg -------------------------------------------------------------------------------- /assets/remix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/remix.pdf -------------------------------------------------------------------------------- /assets/remix.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/remix.png -------------------------------------------------------------------------------- /assets/remix.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/remix.svg -------------------------------------------------------------------------------- /assets/sa.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/sa.pdf -------------------------------------------------------------------------------- /assets/sa.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/sa.png -------------------------------------------------------------------------------- /assets/sa.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/sa.svg -------------------------------------------------------------------------------- /assets/ti-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ti-color.png -------------------------------------------------------------------------------- /assets/ti-print.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ti-print.pdf -------------------------------------------------------------------------------- /assets/ti-screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ti-screen.png -------------------------------------------------------------------------------- /assets/ucarts-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ucarts-color.png -------------------------------------------------------------------------------- /assets/ucarts-print.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ucarts-print.pdf -------------------------------------------------------------------------------- /assets/ucarts-screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/assets/ucarts-screen.png -------------------------------------------------------------------------------- /include/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/include/introduction.tex -------------------------------------------------------------------------------- /include/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/include/preface.tex -------------------------------------------------------------------------------- /includeonly.tex: -------------------------------------------------------------------------------- 1 | %\includeonly{bd-completeness} 2 | -------------------------------------------------------------------------------- /paraconsistent-logic.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/paraconsistent-logic.tex -------------------------------------------------------------------------------- /wi-config.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-config.sty -------------------------------------------------------------------------------- /wi-envs.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-envs.sty -------------------------------------------------------------------------------- /wi-metadata.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-metadata.tex -------------------------------------------------------------------------------- /wi-print-cover.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-print-cover.tex -------------------------------------------------------------------------------- /wi-print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-print.tex -------------------------------------------------------------------------------- /wi-screen.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-screen.tex -------------------------------------------------------------------------------- /wi-screen.xmpdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi-screen.xmpdata -------------------------------------------------------------------------------- /wi.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rzach/what-if/HEAD/wi.tex --------------------------------------------------------------------------------