12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 14:48, 13 August 2009
, 14:48, 13 August 2009→Computation and inference as semiosis: format display
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| width="1%" | <big>•</big>
| width="1%" | <big>•</big>
| '''Example 1. Modus Ponens'''
| colspan="3" | '''Example 1. Modus Ponens'''
|-
|-
|
|
| ''Information Reducing Inference''
| width="1%" |
| colspan="2" | ''Information Reducing Inference''
|-
|-
|
|
|
| width="1%" |
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
|-
|-
|
|
| ''Information Preserving Inference''
|
| colspan="2" | ''Information Preserving Inference''
|-
|-
|
|
|
|
|
|