Line 6,857: |
Line 6,857: |
| ===Zeroth Order Logic=== | | ===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 | | * http://suo.ieee.org/ontology/thrd95.html#00596 |
Line 6,869: |
Line 6,863: |
| # http://suo.ieee.org/ontology/msg00618.html | | # 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 | | * http://suo.ieee.org/email/thrd186.html#04187 |
Line 6,913: |
Line 6,884: |
| # http://suo.ieee.org/email/msg04546.html | | # 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 | | * 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/msg03723.html |
| # http://suo.ieee.org/ontology/msg03724.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 |