12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 15:41, 16 November 2008
, 15:41, 16 November 2008segment
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}}
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}}
==FL. Note 1==
<pre>
<pre>
Abstract
Abstract
| | happens | | | | | |
| | happens | | | | | |
o-------o----------o------------o------------o----------o----------o-----------o
o-------o----------o------------o------------o----------o----------o-----------o
</pre>
==FL. Note 2==
FL. Note 2
<pre>
2.1.2. Higher Order Propositions and Logical Operators (n = 2)
2.1.2. Higher Order Propositions and Logical Operators (n = 2)
| | | | |
| | | | |
o------o------o----------o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o
o------o------o----------o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o
</pre>
==FL. Note 3==
FL. Note 3
<pre>
2.1.3. Umpire Operators
2.1.3. Umpire Operators
the context of definition from the context of application and
the context of definition from the context of application and
restrict all shorthand notations to the latter.
restrict all shorthand notations to the latter.
</pre>
==FL. Note 4==
FL. Note 4
<pre>
2.1.4. Measure for Measure
2.1.4. Measure for Measure
[| !Y!_p |] = (!Y!_p)^(-1)(1)
[| !Y!_p |] = (!Y!_p)^(-1)(1)
</pre>
==FL. Note 5==
FL. Note 5
<pre>
2.1.5. Extending the Existential Interpretation to Quantificational Logic
2.1.5. Extending the Existential Interpretation to Quantificational Logic
o-------------------------------------------------o
o-------------------------------------------------o
Figure 15. Higher Order Universe [L_uv] c [[x, y]]
Figure 15. Higher Order Universe [L_uv] c [[x, y]]
</pre>
==FL. Note 6==
FL. Note 6
<pre>
2.1.6. Application of Higher Order Propositions to Quantification Theory
2.1.6. Application of Higher Order Propositions to Quantification Theory
| | | | |
| | | | |
o------o------o----------o-----o-----o-----o-----o-----o-----o-----o-----o
o------o------o----------o-----o-----o-----o-----o-----o-----o-----o-----o
</pre>
==FL. Note 0==
FL. Note 0
<pre>
To: NKS
To: NKS
FL 4. http://suo.ieee.org/ontology/msg05483.html
FL 4. http://suo.ieee.org/ontology/msg05483.html
FL 4. http://stderr.org/pipermail/inquiry/2004-March/001259.html
FL 4. http://stderr.org/pipermail/inquiry/2004-March/001259.html
</pre>
==Document History==
<pre>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Inquiry and Analogy
| Version: Draft 3.25
| Created: 01 Jan 1995
| Revised: 24 Dec 2001
| Revised: 12 Mar 2004
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o