12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 21:13, 2 July 2008
, 21:13, 2 July 2008→Transformations of Type '''B'''<sup>2</sup> → '''B'''<sup>2</sup>: table captions in bold
<br><font face="courier new">
<br><font face="courier new">
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 65. Induced Transformation on Propositions
|+ '''Table 65. Induced Transformation on Propositions'''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
| ''X''<sup> •</sup>
| ''X''<sup> •</sup>
<font face="courier new">
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 66-i. Computation Summary for ''f''‹''u'', ''v''› = ((''u'')(''v''))
|+ '''Table 66-i. Computation Summary for ''f''‹''u'', ''v''› = ((''u'')(''v''))'''
|
|
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
<font face="courier new">
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 66-ii. Computation Summary for g‹''u'', ''v''› = ((''u'', ''v''))
|+ '''Table 66-ii. Computation Summary for g‹''u'', ''v''› = ((''u'', ''v''))'''
|
|
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 67. Computation of an Analytic Series in Terms of Coordinates
|+ '''Table 67. Computation of an Analytic Series in Terms of Coordinates'''
|
|
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"