-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathbd.tex
98 lines (65 loc) · 2.87 KB
/
bd.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
% !TeX root = ./bd-screen.tex
% bd.tex
%
% driver file bd.tex to produce text
\preto\OLEndChapterHook{\IfFileExists{include/summary-\thechapter}
{\section*{Summary}\addcontentsline{toc}{section}{Summary}
\let\emph\textbf\input{include/summary-\thechapter}\let\emph\textit}{}}
\problemsperchapter
\allowdisplaybreaks
\frontmatter
\OLPfrontmatter
\include{include/preface}
\include{include/introduction}
\mainmatter
\olimport*[normal-modal-logic]{normal-modal-logic}
\part{Intuitionistic Logic}
\olimport*[intuitionistic-logic/introduction]{introduction}
\olimport*[intuitionistic-logic/semantics]{semantics}
\olimport*[intuitionistic-logic/soundness-completeness]{soundness-completeness}
\olimport*[counterfactuals]{counterfactuals}
\part{Appendices}
\appendix
\olimport*[sets-functions-relations/sets]{sets}
\olimport*[sets-functions-relations/relations]{relations}
\tagfalse{FOL}
\olimport*[propositional-logic/syntax-and-semantics]{syntax-and-semantics}
\chapter{Axiomatic \usetoken{P}{derivation}}
\olimport*[first-order-logic/proof-systems]{introduction}
\olimport*[first-order-logic/proof-systems]{axiomatic-deduction}
\olimport*[first-order-logic/axiomatic-deduction]{rules-and-proofs}
\olimport*[first-order-logic/axiomatic-deduction]{axioms-rules-propositional}
\olimport*[first-order-logic/axiomatic-deduction]{proving-things}
\olimport*[first-order-logic/axiomatic-deduction]{proof-theoretic-notions}
\olimport*[first-order-logic/axiomatic-deduction]{deduction-theorem}
\olimport*[first-order-logic/axiomatic-deduction]{provability-consistency}
\olimport*[first-order-logic/axiomatic-deduction]{provability-propositional}
\olimport*[first-order-logic/axiomatic-deduction]{soundness}
\OLEndChapterHook
\chapter{Tableaux}
\olimport*[first-order-logic/proof-systems]{tableaux}
\olimport*[first-order-logic/tableaux]{rules-and-proofs}
\olimport*[first-order-logic/tableaux]{propositional-rules}
\olimport*[first-order-logic/tableaux]{derivations}
\olimport*[first-order-logic/tableaux]{proving-things}
\olimport*[first-order-logic/tableaux]{proof-theoretic-notions}
\olimport*[first-order-logic/tableaux]{provability-consistency}
\olimport*[first-order-logic/tableaux]{provability-propositional}
\olimport*[first-order-logic/tableaux]{soundness}
\OLEndChapterHook
\chapter{The Completeness Theorem}
\olimport*[first-order-logic/completeness]{introduction}
\olimport*[first-order-logic/completeness]{outline}
\olimport*[first-order-logic/completeness]{complete-consistent-sets}
\olimport*[first-order-logic/completeness]{lindenbaums-lemma}
\olimport*[first-order-logic/completeness]{construction-of-model}
\olimport*[first-order-logic/completeness]{completeness-thm}
\OLEndChapterHook
\stopproblems
\def\ifproblems#1{}
\backmatter
\clearpage
%\photocredits
\bibliographystyle{\olpath/bib/natbib-oup}
%\bibliography{\olpath/bib/open-logic.bib}
\olimport*{\olpath/content/open-logic-about}