Changes

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

Revision as of 13:05, 3 June 2009

232 bytes removed , 13:05, 3 June 2009

→‎Zeroth Order Logic: markup

Line 6,857: Line 6,857:

===Zeroth Order Logic===

−

~~<pre>~~

+

====Cactus Town Cartoons====

−

Cactus Town Cartoons

−

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

+

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

−

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

+

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

−

Differential Analytic Turing Automata ~~(DATA)~~

+

====Differential Analytic Turing Automata====

−

~~01.~~ http://suo.ieee.org/ontology/msg00596.html

+

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

−

~~02.~~ http://suo.ieee.org/ontology/msg00618.html

+

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

−

Extensions Of Logical Graphs

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

Functional Conception Of Quantificational Logic

+

====Functional Conception Of Quantificational Logic====

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

Propositional Equation Reasoning Systems ~~(PERS)~~

+

====Propositional Equation Reasoning Systems====

−

~~01.~~ http://suo.ieee.org/email/msg04187.html

+

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

−

~~02.~~ http://suo.ieee.org/email/msg04305.html

+

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

−

~~03.~~ http://suo.ieee.org/email/msg04413.html

+

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

−

~~04.~~ http://suo.ieee.org/email/msg04419.html

+

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

−

~~05.~~ http://suo.ieee.org/email/msg04422.html

+

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

−

~~06.~~ http://suo.ieee.org/email/msg04423.html

+

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

−

~~07.~~ http://suo.ieee.org/email/msg04432.html

+

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

−

~~08.~~ http://suo.ieee.org/email/msg04454.html

+

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

−

~~09.~~ http://suo.ieee.org/email/msg04455.html

+

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

−

~~10.~~ http://suo.ieee.org/email/msg04476.html

+

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

−

~~11.~~ http://suo.ieee.org/email/msg04510.html

+

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

−

~~12.~~ http://suo.ieee.org/email/msg04517.html

+

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

−

~~13.~~ http://suo.ieee.org/email/msg04525.html

+

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

−

~~14.~~ http://suo.ieee.org/email/msg04533.html

+

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

−

~~15.~~ http://suo.ieee.org/email/msg04536.html

+

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

−

~~16.~~ http://suo.ieee.org/email/msg04542.html

+

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

−

~~17.~~ http://suo.ieee.org/email/msg04546.html

+

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

−

Reflective Extension Of Logical Graphs ~~(RefLog)~~

+

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

−

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

+

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

−

Sequential Interactions Generating Hypotheses

+

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

−

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

+

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

−

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

+

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

−

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

+

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

−

Sowa's Top Level Categories

+

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

−

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

+

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

−

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

+

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

−

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

+

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

+

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

+

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

−

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

+

====Zeroth Order Logic====

−

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

−

~~Zeroth Order Logic (ZOL)~~

+

# 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

−

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

+

====Zeroth Order Theories====

−

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

−

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

−

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

−

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

−

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

−

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

−

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

−

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

−

~~Zeroth Order Theories (ZOT's)~~

+

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

−

+

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

−

~~01.~~ http://suo.ieee.org/ontology/msg03680.html

+

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

−

~~02.~~ http://suo.ieee.org/ontology/msg03681.html

+

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

−

~~03.~~ http://suo.ieee.org/ontology/msg03682.html

+

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

−

~~04.~~ http://suo.ieee.org/ontology/msg03683.html

+

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

−

~~05.~~ http://suo.ieee.org/ontology/msg03685.html

+

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

−

~~06.~~ http://suo.ieee.org/ontology/msg03687.html

+

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

−

~~07.~~ http://suo.ieee.org/ontology/msg03689.html

+

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

−

~~08.~~ http://suo.ieee.org/ontology/msg03691.html

+

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

−

~~09.~~ http://suo.ieee.org/ontology/msg03693.html

+

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

−

~~10.~~ http://suo.ieee.org/ontology/msg03694.html

+

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

−

~~11.~~ http://suo.ieee.org/ontology/msg03695.html

+

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

−

~~12.~~ http://suo.ieee.org/ontology/msg03696.html

+

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

−

~~13.~~ http://suo.ieee.org/ontology/msg03700.html

+

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

−

~~14.~~ http://suo.ieee.org/ontology/msg03701.html

+

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

−

~~15.~~ http://suo.ieee.org/ontology/msg03702.html

+

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

−

~~16.~~ http://suo.ieee.org/ontology/msg03703.html

+

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

−

~~17.~~ http://suo.ieee.org/ontology/msg03705.html

+

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

−

~~18.~~ http://suo.ieee.org/ontology/msg03706.html

+

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

−

~~19.~~ http://suo.ieee.org/ontology/msg03707.html

+

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

−

~~20.~~ http://suo.ieee.org/ontology/msg03708.html

+

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

−

~~21.~~ http://suo.ieee.org/ontology/msg03709.html

+

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

−

~~22.~~ http://suo.ieee.org/ontology/msg03711.html

+

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

−

~~23.~~ http://suo.ieee.org/ontology/msg03712.html

+

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

−

~~24.~~ http://suo.ieee.org/ontology/msg03715.html

+

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

−

~~25.~~ http://suo.ieee.org/ontology/msg03716.html

+

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

−

~~26.~~ http://suo.ieee.org/ontology/msg03717.html

+

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

−

~~27.~~ http://suo.ieee.org/ontology/msg03718.html

+

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

−

~~28.~~ http://suo.ieee.org/ontology/msg03720.html

+

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

−

~~29.~~ http://suo.ieee.org/ontology/msg03721.html

+

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

−

~~30.~~ http://suo.ieee.org/ontology/msg03722.html

+

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

−

~~31.~~ http://suo.ieee.org/ontology/msg03723.html

−

~~32.~~ http://suo.ieee.org/ontology/msg03724.html

−

~~</pre>~~

Jon Awbrey

12,080

edits

Changes

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

Revision as of 13:05, 3 June 2009

Navigation menu

Page actions

Page actions

Personal tools

Navigation

semantic

Site statistics

Tools

Search