From 334c0c7843185471843cb0c8f6c9fcef89698a78 Mon Sep 17 00:00:00 2001 From: Vadim Sadokhov Date: Thu, 2 Jul 2026 10:56:27 +0300 Subject: [PATCH] fix bhk-interpretation typo --- .../intuitionistic-logic/introduction/bhk-interpretation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/intuitionistic-logic/introduction/bhk-interpretation.tex b/content/intuitionistic-logic/introduction/bhk-interpretation.tex index 1e0267f6..e6989340 100644 --- a/content/intuitionistic-logic/introduction/bhk-interpretation.tex +++ b/content/intuitionistic-logic/introduction/bhk-interpretation.tex @@ -133,7 +133,7 @@ pair $\tuple{s, M}$ where either $s = 1$ and $M$ is a construction of $!A$, or $s = 2$ and $M$ is a construction of $\lnot !A$. Let $h_1$ be the function mapping a construction~$M_1$ of $!A$ to a construction of -$!A \lor \lnot !A$: it maps $M_1$ to $\tuple{1, M_2}$. And let $h_2$ +$!A \lor \lnot !A$: it maps $M_1$ to $\tuple{1, M_1}$. And let $h_2$ be the function mapping a construction~$M_2$ of $\lnot !A$ to a construction of $!A \lor \lnot !A$: it maps $M_2$ to $\tuple{2, M_2}$.