Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 19:45, 5 June 2008

67 bytes added , 19:45, 5 June 2008

→‎Current Version @ PlanetMath : TeX Format: updare

Line 290: Line 290:

\begin{quote}

$\operatorname{E}A^\circ = [ \operatorname{E}\mathcal{A} ] = [ \mathcal{A}\ \cup\ \operatorname{d}\mathcal{A} ] = [ a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n ].$

+

\end{quote}

+

This gives $\operatorname{E}A^\circ$ the type:

+

\begin{quote}

+

$[ \mathbb{B}^n \times \mathbb{D}^n ] = (\mathbb{B}^n \times \mathbb{D}^n\ +\!\to \mathbb{B}) = (\mathbb{B}^n \times \mathbb{D}^n, \mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B}).$

\end{quote}

\end{itemize}

−

~~This gives $\operatorname{E}A^\circ$ the type $(\mathbb{B}^n \times \mathbb{D}^n\ +\!\to \mathbb{B}) = (\mathbb{B}^n \times \mathbb{D}^n, \mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B}).$~~

$\dots$

Jon Awbrey

12,080

edits