Fix typos (#350)

* Update opps.tex * Update addition.tex * Update doc * Update propositions.tex * Update soundness-nd.tex * Update truth-lemma.tex --------- Co-authored-by: Pietro Monticone <[email protected]>
OpenLogicProject · Dec 15, 2023 · 4da084f · 4da084f
1 parent 7a3cda8
commit 4da084f
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/content/intuitionistic-logic/semantics/propositions.tex b/content/intuitionistic-logic/semantics/propositions.tex
@@ -12,7 +12,7 @@
 
 Sometimes it is useful to have a name for the set of worlds in
 !!a{relational model}~$\mModel{M}$ where !!a{formula}~$!A$ is true. We
-call it the \emph{propositon} defined by~$!A$, and write
+call it the \emph{proposition} defined by~$!A$, and write
 $\Prop{M}{!A}$. 
 
 \begin{defn}

diff --git a/content/intuitionistic-logic/soundness-completeness/soundness-nd.tex b/content/intuitionistic-logic/soundness-completeness/soundness-nd.tex
@@ -1,5 +1,5 @@
 % part: intuitionistic-logic
-% chapter: soundeness-completeness
+% chapter: soundness-completeness
 % section: soundness-nd
 
 \documentclass[../../../include/open-logic-section]{subfiles}

diff --git a/content/intuitionistic-logic/soundness-completeness/truth-lemma.tex b/content/intuitionistic-logic/soundness-completeness/truth-lemma.tex
@@ -1,5 +1,5 @@
 % part: intuitionistic-logic
-% chapter: soundeness-completeness
+% chapter: soundness-completeness
 % section: truth-lemma
 
 \documentclass[../../../include/open-logic-section]{subfiles}

diff --git a/doc b/doc