Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:interpolation_for_propositional_logic [2008/03/17 20:24] piskac |
sav08:interpolation_for_propositional_logic [2015/04/21 17:30] (current) |
||
|---|---|---|---|
| Line 26: | Line 26: | ||
| **Definition:** ${\cal I}(F,G)$ denote the set of all interpolants for $(F,G)$, that is, | **Definition:** ${\cal I}(F,G)$ denote the set of all interpolants for $(F,G)$, that is, | ||
| - | \[ | + | \begin{equation*} |
| {\cal I}(F,G) = \{ H \mid H \mbox{ is interpolant for $(F,G)$ \} | {\cal I}(F,G) = \{ H \mid H \mbox{ is interpolant for $(F,G)$ \} | ||
| - | \] | + | \end{equation*} |
| **Theorem:** The following properties hold for $H_{min}$, $H_{max}$, ${\cal I}(F,G)$ defined above: | **Theorem:** The following properties hold for $H_{min}$, $H_{max}$, ${\cal I}(F,G)$ defined above: | ||