Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

In this Subsection, I finally bring together many of what may
have appeared to be wholly independent threads of development,
in the hope of paying off a percentage of my promissory notes,
even if a goodly number my creditors have no doubt long since
forgotten, if not exactly forgiven the debentures in question.

For ease of reference, I repeat here a couple of the
definitions that are needed again in this discussion.

| A "boolean connection" of degree k, also known as a "boolean function"
| on k variables, is a map of the form F : %B%^k -> %B%.  In other words,
| a boolean connection of degree k is a proposition about things in the
| universe of discourse X = %B%^k.
|
| An "imagination" of degree k on X is a k-tuple of propositions
| about things in the universe X.  By way of displaying the kinds
| of notation that are used to express this idea, the imagination
| #f# = <f_1, ..., f_k> is can be given as a sequence of indicator
| functions f_j : X -> %B%, for j = 1 to k.  All of these features
| of the typical imagination #f# can be summed up in either one of
| two ways:  either in the form of a membership statement, stating
| words to the effect that #f# belongs to the space (X -> %B%)^k,
| or in the form of the type declaration that #f# : (X -> %B%)^k,
| though perhaps the latter specification is slightly more precise
| than the former.

The definition of the "stretch" operation and the uses of the
various brands of denotational operators can be reviewed here:

055.  http://suo.ieee.org/email/msg07466.html
057.  http://suo.ieee.org/email/msg07469.html

070.  http://suo.ieee.org/ontology/msg03473.html
071.  http://suo.ieee.org/ontology/msg03479.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

@@ Line 44: / Line 44: @@
 ===Propositional Equation Reasoning Systems===
-====Arisbe List (Mar 2001)====
+====Arisbe List (Mar&ndash;Apr 2001)====
 * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380

Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"

Revision as of 02:52, 21 April 2009

Contents

Fragmata

Cactus Language, Operator Variables, Reflection

NKS Forum (Mar 2005)

Cactus Rules

Inquiry List (Mar 2004)

Ontology List (Mar 2004)

Cactus Town Cartoons

Arisbe List (Dec 2001)

Extensions Of Logical Graphs

Ontology List (Dec 2001)

Arisbe List (Dec 2001)

Logic In Graphs

NKS Forum (Feb 2005)

Propositional Equation Reasoning Systems

Arisbe List (Mar–Apr 2001)

Inquiry List (Mar 2003)

Theme One Program : Logical Cacti

Inquiry List (Mar 2003)

Inquiry List (Feb 2005)

Alternate Version? Editing Fragment?

Navigation menu

Page actions

Page actions

Personal tools

Navigation

semantic

Site statistics

Tools

Search