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 60: | Line 60: | ||
===Extensions Of Logical Graphs=== | ===Extensions Of Logical Graphs=== | ||
| − | + | ; Ontology List | |
| + | : http://suo.ieee.org/ontology/msg03586.html | ||
| + | ; Arisbe List | ||
| + | : http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230 | ||
===Logic In Graphs=== | ===Logic In Graphs=== | ||
Revision as of 16:24, 5 January 2009
Fragmata
Ontology List
Extensions of Logical Graphs
Cactus Rules
Arisbe List
Propositional Equation Reasoning Systems
Extensions Of Logical Graphs
Inquiry List
Theme One Program : Logical Cacti
- http://stderr.org/pipermail/inquiry/2003-March/000114.html
- http://stderr.org/pipermail/inquiry/2005-February/002360.html
Propositional Equation Reasoning Systems
Cactus Rules
NKS Forum
Logic In Graphs
Cactus Language, Operator Variables, Reflection
Index
Cactus Language, Operator Variables, Reflection
Cactus Rules
Extensions Of Logical Graphs
- Ontology List
- http://suo.ieee.org/ontology/msg03586.html
- Arisbe List
- http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230
