12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 14:54, 22 November 2009
, 14:54, 22 November 2009→Measure for Measure: remove unnecessary parentheses
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>[| \alpha_i |]</math>
| <math>[| \alpha_{i} |]</math>
| <math>=</math>
| <math>=</math>
| <math>(\alpha_i)^{-1}(1),</math>
| <math>\alpha_{i}^{-1}(1),</math>
|-
|-
| <math>[| \beta_i |]</math>
| <math>[| \beta_{i} |]</math>
| <math>=</math>
| <math>=</math>
| <math>(\beta_i)^{-1}(1),</math>
| <math>\beta_{i}^{-1}(1),</math>
|-
|-
| <math>[| \Upsilon_p |]</math>
| <math>[| \Upsilon_{p} |]</math>
| <math>=</math>
| <math>=</math>
| <math>(\Upsilon_p)^{-1}(1).</math>
| <math>\Upsilon_{p}^{-1}(1).</math>
|}
|}