From 2512fbd5f15ea9c27d32044ca3a1ee6c85001530 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 11 Dec 2023 10:54:45 +0100
Subject: Make the fix less confusing.
---
transp-inf110-02-typage.tex | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 35425f0..07e2999 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -2675,14 +2675,10 @@ droite \alert{ou à gauche} du symbole « $\vdash$ ».
\medskip
\itempoint On garde la règle $\inferrule*[left=Ax]{ }{\Gamma,Q \vdash
- Q}$, ou on peut en séparer une règle d'qffaibilissement ; et on va
-reparler des règles de « contraction » et « coupure » :
+ Q}$ ; on va reparler des règles de « contraction » et « coupure » :
\begin{center}
\begin{tabular}{c|c}
-$\inferrule*[left=Ax]{ }{Q \vdash Q}$
-&$\inferrule*[left=Weak]{\Gamma \vdash Q}{\Gamma,P\vdash Q}$
-\\\hline
$\inferrule*[left=Contr]{\Gamma,P,P \vdash Q}{\Gamma,P\vdash Q}$
&$\inferrule*[left=Cut]{\Gamma \vdash P\\\Gamma,P\vdash Q}{\Gamma\vdash Q}$
\end{tabular}
@@ -2691,7 +2687,8 @@ $\inferrule*[left=Contr]{\Gamma,P,P \vdash Q}{\Gamma,P\vdash Q}$
\end{frame}
%
\begin{frame}
-\frametitle{Calcul des séquents : les règles (intuitionnistes)}
+\label{sequent-calculus-connector-rules}
+\frametitle{Calcul des séquents : règles (intuitionnistes) des connecteurs}
{\footnotesize
--
cgit v1.2.3