Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"
MyWikiBiz, Author Your Legacy — Monday December 30, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
Line 36: | Line 36: | ||
===Propositional Equation Reasoning Systems=== | ===Propositional Equation Reasoning Systems=== | ||
− | ====Arisbe List (Mar 2001)==== | + | ====Arisbe List (Mar–Apr 2001)==== |
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380 | * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380 | ||
Line 43: | Line 43: | ||
# http://stderr.org/pipermail/arisbe/2001-April/000407.html | # http://stderr.org/pipermail/arisbe/2001-April/000407.html | ||
# http://stderr.org/pipermail/arisbe/2001-April/000409.html | # http://stderr.org/pipermail/arisbe/2001-April/000409.html | ||
+ | # http://stderr.org/pipermail/arisbe/2001-April/000411.html | ||
====Inquiry List (Mar 2003)==== | ====Inquiry List (Mar 2003)==== |
Revision as of 17:07, 5 January 2009
Fragmata
Cactus Language, Operator Variables, Reflection
NKS Forum (Mar 2005)
Cactus Rules
Inquiry List (Mar 2004)
Ontology List (Mar 2004)
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)
- http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
- http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
- http://stderr.org/pipermail/arisbe/2001-March/000380.html
- http://stderr.org/pipermail/arisbe/2001-April/000407.html
- http://stderr.org/pipermail/arisbe/2001-April/000409.html
- http://stderr.org/pipermail/arisbe/2001-April/000411.html