Work ο

Analogy Between Real and Boolean Types

$\text{Analogy Between Real and Boolean Types}$

Temporal Inference Rules

LaTeX

$\begin{matrix} \text{From} & \texttt{(} p \texttt{)} & \text{and} & \texttt{(} \mathrm{d}p \texttt{)} & \text{infer} & \texttt{(} p \texttt{)} & \text{next.} \\[8pt] \text{From} & \texttt{(} p \texttt{)} & \text{and} & \mathrm{d}p & \text{infer} & p & \text{next.} \\[8pt] \text{From} & p & \text{and} & \texttt{(} \mathrm{d}p \texttt{)} & \text{infer} & p & \text{next.} \\[8pt] \text{From} & p & \text{and} & \mathrm{d}p & \text{infer} & \texttt{(} p \texttt{)} & \text{next.} \end{matrix}$