Changes

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 13:56, 3 June 2009

3 bytes removed , 13:56, 3 June 2009

→‎Zeroth Order Logic: sort by date

Line 6,857: Line 6,857:

===Zeroth Order Logic===

−

====~~Cactus Town Cartoons (Dec~~ 2001~~)====~~

+

====Jan 2001 : Differential Analytic Turing Automata====

−

* http:~~//suo.ieee.org/ontology/thrd38.html#03567~~

−

~~# http://suo.ieee.org/ontology/msg03567.html~~

−

~~# http://suo.ieee.org/ontology/msg03571.html~~

−

~~====~~Differential Analytic Turing Automata ~~(Jan 2001)~~====

* http://suo.ieee.org/ontology/thrd95.html#00596

Line 6,869: Line 6,863:

# http://suo.ieee.org/ontology/msg00618.html

−

====~~Extensions Of Logical Graphs====~~

+

====Mar 2001 : Propositional Equation Reasoning Systems====

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03351.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03352.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03353.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03354.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03376.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03379.html~~

−

~~# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html~~

−

~~====Functional Conception Of Quantificational Logic (Dec~~ 2001~~)====~~

−

* http:~~//suo.ieee.org/ontology/thrd38.html#03562~~

−

~~# http://suo.ieee.org/ontology/msg03562.html~~

−

~~# http://suo.ieee.org/ontology/msg03563.html~~

−

~~# http://suo.ieee.org/ontology/msg03577.html~~

−

~~# http://suo.ieee.org/ontology/msg03578.html~~

−

~~# http://suo.ieee.org/ontology/msg03579.html~~

−

~~# http://suo.ieee.org/ontology/msg03580.html~~

−

~~# http://suo.ieee.org/ontology/msg03581.html~~

−

~~# http://suo.ieee.org/ontology/msg03582.html~~

−

~~# http://suo.ieee.org/ontology/msg03583.html~~

−

~~====~~Propositional Equation Reasoning Systems ~~(Mar 2001)~~====

* http://suo.ieee.org/email/thrd186.html#04187

Line 6,913: Line 6,884:

# http://suo.ieee.org/email/msg04546.html

−

====~~Reflective Extension~~ Of ~~Logical Graphs~~====

+

====Dec 2001 : Functional Conception Of Quantificational Logic====

−

# http://suo.ieee.org/~~email~~/~~msg05694~~.html

+

* http://suo.ieee.org/ontology/thrd38.html#03562

−

+

# http://suo.ieee.org/ontology/msg03562.html

−

~~====Sequential Interactions Generating Hypotheses====~~

+

# http://suo.ieee.org/ontology/msg03563.html

+

# http://suo.ieee.org/ontology/msg03577.html

+

# http://suo.ieee.org/ontology/msg03578.html

+

# http://suo.ieee.org/ontology/msg03579.html

+

# http://suo.ieee.org/ontology/msg03580.html

+

# http://suo.ieee.org/ontology/msg03581.html

+

# http://suo.ieee.org/ontology/msg03582.html

+

# http://suo.ieee.org/ontology/msg03583.html

−

~~# http~~:~~//suo.ieee.org/email/msg02607.html~~

+

====Dec 2001 : Cactus Town Cartoons====

−

~~# http://suo.ieee.org/email/msg02608.html~~

−

~~# http://suo.ieee.org/email/msg03183.html~~

−

~~====Sowa's Top Level Categories====~~

+

* http://suo.ieee.org/ontology/thrd38.html#03567

−

+

# http://suo.ieee.org/ontology/msg03567.html

−

# http://suo.ieee.org/~~email/msg01949.html~~

+

# http://suo.ieee.org/ontology/msg03571.html

−

~~# http:~~/~~/suo.ieee.org/email/msg01956~~.html

−

# ~~http://suo.ieee.org/email/msg01966.html~~

−

# http://suo.ieee.org/ontology/~~msg00048~~.html

−

# http://suo.ieee.org/ontology/~~msg00051.html~~

−

~~====Zeroth Order Logic====~~

−

*

−

~~# http://suo.ieee.org/email/msg01246.html~~

−

~~# http://suo.ieee.org/email/msg01406.html~~

−

~~# http://suo.ieee.org/email/msg01546.html~~

−

~~# http://suo.ieee.org/email/msg01561.html~~

−

~~# http://suo.ieee.org/email/msg01670.html~~

−

~~# http://suo.ieee.org/email/msg01739.html~~

−

~~# http://suo.ieee.org/email/msg01966.html~~

−

~~# http://suo.ieee.org/email/msg01985.html~~

−

~~# http://suo.ieee.org/email/msg01988~~.html

−

====Zeroth Order Theories ~~(Jan 2002)~~====

+

====Jan 2002 : Zeroth Order Theories====

* http://suo.ieee.org/ontology/thrd35.html#03680

Line 6,979: Line 6,938:

# http://suo.ieee.org/ontology/msg03723.html

# http://suo.ieee.org/ontology/msg03724.html

+

====Extensions Of Logical Graphs====

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03351.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03352.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03353.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03354.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03376.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03379.html

+

# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html

+

====Zeroth Order Logic====

+

# http://suo.ieee.org/email/msg01246.html

+

# http://suo.ieee.org/email/msg01406.html

+

# http://suo.ieee.org/email/msg01546.html

+

# http://suo.ieee.org/email/msg01561.html

+

# http://suo.ieee.org/email/msg01670.html

+

# http://suo.ieee.org/email/msg01739.html

+

# http://suo.ieee.org/email/msg01966.html

+

# http://suo.ieee.org/email/msg01985.html

+

# http://suo.ieee.org/email/msg01988.html

+

====Sowa's Top Level Categories====

+

# http://suo.ieee.org/email/msg01949.html

+

# http://suo.ieee.org/email/msg01956.html

+

# http://suo.ieee.org/email/msg01966.html

+

# http://suo.ieee.org/ontology/msg00048.html

+

# http://suo.ieee.org/ontology/msg00051.html

+

====Sequential Interactions Generating Hypotheses====

+

# http://suo.ieee.org/email/msg02607.html

+

# http://suo.ieee.org/email/msg02608.html

+

# http://suo.ieee.org/email/msg03183.html

+

====Reflective Extension Of Logical Graphs====

+

# http://suo.ieee.org/email/msg05694.html

Jon Awbrey

12,080

edits