User:Jon Awbrey/Link Archive

From InterSciWiki
Jump to: navigation, search

Collected Links • 12/09/2002

Math Notes

Differential Geometry for Engineers


Preface

01.  http://suo.ieee.org/ontology/msg04056.html

1.  Introduction

02.  http://suo.ieee.org/ontology/msg04057.html
03.  http://suo.ieee.org/ontology/msg04058.html

2.  Manifolds And Their Maps

2.1.  Differentiable Manifolds

04.  http://suo.ieee.org/ontology/msg04059.html
05.  http://suo.ieee.org/ontology/msg04060.html
06.  http://suo.ieee.org/ontology/msg04061.html

2.2.  Examples

07.  http://suo.ieee.org/ontology/msg04062.html

2.3.  Manifold Maps

08.  http://suo.ieee.org/ontology/msg04063.html

3.  Tangent Spaces

09.  http://suo.ieee.org/ontology/msg04065.html

3.1.  The Tangent Space of Sphere

10.

All of the above material is excerpted from:

| Brian F. Doolin & Clyde F. Martin,
|'Introduction to Differential Geometry for Engineers',
| Marcel Dekker, New York, NY, 1990.

Higher Order Categorical Logic


Part 0.  Introduction to Category Theory

1.  Categories and Functors

01.  http://suo.ieee.org/ontology/msg03373.html
02.  http://suo.ieee.org/ontology/msg03375.html
03.  http://suo.ieee.org/ontology/msg03376.html
04.  http://suo.ieee.org/ontology/msg03377.html
05.  http://suo.ieee.org/ontology/msg03378.html
06.  http://suo.ieee.org/ontology/msg03381.html

2.  Natural Transformations

07.  http://suo.ieee.org/ontology/msg03383.html
08.  http://suo.ieee.org/ontology/msg03384.html
09.  http://suo.ieee.org/ontology/msg03392.html
10.  http://suo.ieee.org/ontology/msg03393.html
11.  http://suo.ieee.org/ontology/msg03394.html
12.  http://suo.ieee.org/ontology/msg03395.html

Part 1.  Cartesian Closed Categories & Lambda Calculus

Introduction to Part 1

13.  http://suo.ieee.org/ontology/msg03396.html

Historical Perspective on Part 1

14.  http://suo.ieee.org/ontology/msg03398.html
15.  http://suo.ieee.org/ontology/msg03399.html
16.  http://suo.ieee.org/ontology/msg03400.html
17.  http://suo.ieee.org/ontology/msg03401.html
18.  http://suo.ieee.org/ontology/msg03402.html

1.  Propositional Calculus as a Deductive System

19.  http://suo.ieee.org/ontology/msg03403.html
20.  http://suo.ieee.org/ontology/msg03404.html
21.  http://suo.ieee.org/ontology/msg03405.html
22.  http://suo.ieee.org/ontology/msg03406.html

2.  The Deduction Theorem

23.  http://suo.ieee.org/ontology/msg03409.html

3.  Cartesian Closed Categories Equationally Presented

24.  http://suo.ieee.org/ontology/msg03410.html
25.  http://suo.ieee.org/ontology/msg03411.html
26.  http://suo.ieee.org/ontology/msg03412.html

Back to Part 0

3.  Adjoint Functors

27.  http://suo.ieee.org/ontology/msg03415.html
28.  http://suo.ieee.org/ontology/msg03416.html
29.  http://suo.ieee.org/ontology/msg03417.html
30.  http://suo.ieee.org/ontology/msg03418.html

All of the above material is excerpted from:

| Lambek, J. & Scott, P.J.,
|'Introduction To Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
|
| http://uk.cambridge.org/mathematics/catalogue/0521356539/

Information Flow


All of the above material is excerpted from:

| Jon Barwise & Jerry Seligman,
|'Information Flow, The Logic of Distributed Systems',
| Cambridge University Press, Cambridge, UK, 1997.

Model Theory (Old Links)

  1. http://suo.ieee.org/ontology/msg03246.html
  2. http://suo.ieee.org/ontology/msg03247.html
  3. http://suo.ieee.org/ontology/msg03248.html
  4. http://suo.ieee.org/ontology/msg03249.html
  5. http://suo.ieee.org/ontology/msg03250.html
  6. http://suo.ieee.org/ontology/msg03251.html
  7. http://suo.ieee.org/ontology/msg03252.html
  8. http://suo.ieee.org/ontology/msg03254.html

Model Theory


1.  Introduction

1.1.  What Is Model Theory?

01.  http://suo.ieee.org/ontology/msg03985.html
02.  http://suo.ieee.org/ontology/msg03986.html
03.  http://suo.ieee.org/ontology/msg03987.html

1.2.  Model Theory for Sentential Logic

04.  http://suo.ieee.org/ontology/msg03988.html
05.  http://suo.ieee.org/ontology/msg03989.html
06.  http://suo.ieee.org/ontology/msg03991.html
07.  http://suo.ieee.org/ontology/msg03992.html
08.  http://suo.ieee.org/ontology/msg03993.html
09.  http://suo.ieee.org/ontology/msg03994.html
10.  http://suo.ieee.org/ontology/msg03995.html
11.  http://suo.ieee.org/ontology/msg03996.html
12.  http://suo.ieee.org/ontology/msg03997.html
13.  http://suo.ieee.org/ontology/msg03999.html
14.  http://suo.ieee.org/ontology/msg04000.html
15.  http://suo.ieee.org/ontology/msg04001.html
16.  http://suo.ieee.org/ontology/msg04002.html
17.  http://suo.ieee.org/ontology/msg04003.html
18.  http://suo.ieee.org/ontology/msg04004.html

1.3.  Languages, Models, and Satisfaction

19.  http://suo.ieee.org/ontology/msg04005.html
20.  http://suo.ieee.org/ontology/msg04006.html
21.  http://suo.ieee.org/ontology/msg04007.html
22.  http://suo.ieee.org/ontology/msg04008.html
23.  http://suo.ieee.org/ontology/msg04009.html
24.  http://suo.ieee.org/ontology/msg04010.html
25.  http://suo.ieee.org/ontology/msg04011.html
26.  http://suo.ieee.org/ontology/msg04012.html
27.  http://suo.ieee.org/ontology/msg04016.html
28.  http://suo.ieee.org/ontology/msg04017.html
29.  http://suo.ieee.org/ontology/msg04019.html
30.  http://suo.ieee.org/ontology/msg04020.html
31.  http://suo.ieee.org/ontology/msg04021.html

1.4.  Theories and Examples of Theories

32.  http://suo.ieee.org/ontology/msg04022.html
33.  http://suo.ieee.org/ontology/msg04023.html
34.  http://suo.ieee.org/ontology/msg04024.html
35.  http://suo.ieee.org/ontology/msg04025.html
36.  http://suo.ieee.org/ontology/msg04026.html
37.  http://suo.ieee.org/ontology/msg04027.html
38.  http://suo.ieee.org/ontology/msg04028.html

1.5.  Elimination of Quantifiers

39.  http://suo.ieee.org/ontology/msg04029.html
40.

All of the above material is excerpted from:

| C.C. Chang and H.J. Keisler, 'Model Theory',
| North-Holland, Amsterdam, Netherlands, 1973.

Program Semantics


Preface

01.  http://suo.ieee.org/ontology/msg03884.html

1.  An Introduction to Denotational Semantics

1.1.  Syntax and Semantics

02.  http://suo.ieee.org/ontology/msg03885.html
03.  http://suo.ieee.org/ontology/msg03886.html
04.  http://suo.ieee.org/ontology/msg03887.html

1.2.  A Simple Fragment of Pascal

05.  http://suo.ieee.org/ontology/msg03890.html
06.  http://suo.ieee.org/ontology/msg03895.html
07.  http://suo.ieee.org/ontology/msg03896.html
08.  http://suo.ieee.org/ontology/msg03898.html
09.  http://suo.ieee.org/ontology/msg03904.html
10.  http://suo.ieee.org/ontology/msg03905.html

1.3.  A Functional Programming Fragment

11.  http://suo.ieee.org/ontology/msg03906.html
12.  http://suo.ieee.org/ontology/msg03909.html
13.  http://suo.ieee.org/ontology/msg03910.html
14.  http://suo.ieee.org/ontology/msg03911.html
15.  http://suo.ieee.org/ontology/msg03912.html
16.  http://suo.ieee.org/ontology/msg03915.html
17.  http://suo.ieee.org/ontology/msg03919.html

1.4.  Multifunctions

18.  http://suo.ieee.org/ontology/msg03926.html
19.  http://suo.ieee.org/ontology/msg03927.html
20.  http://suo.ieee.org/ontology/msg03929.html

1.5.  A Preview of Partially Additive Semantics

21.  http://suo.ieee.org/ontology/msg03930.html
22.  http://suo.ieee.org/ontology/msg03932.html
23.  http://suo.ieee.org/ontology/msg03933.html
24.  http://suo.ieee.org/ontology/msg03934.html
25.  http://suo.ieee.org/ontology/msg03935.html
26.  http://suo.ieee.org/ontology/msg03938.html
27.  http://suo.ieee.org/ontology/msg03939.html
28.  http://suo.ieee.org/ontology/msg03942.html
29.  http://suo.ieee.org/ontology/msg03944.html
30.  http://suo.ieee.org/ontology/msg03945.html

2.  An Introduction to Category Theory

31.  http://suo.ieee.org/ontology/msg03946.html

2.1.  The Definition of a Category

32.  http://suo.ieee.org/ontology/msg03947.html
33.  http://suo.ieee.org/ontology/msg03949.html
34.  http://suo.ieee.org/ontology/msg03950.html
35.  http://suo.ieee.org/ontology/msg03953.html
36.  http://suo.ieee.org/ontology/msg03954.html

2.2.  Isomorphism, Duality, and Zero Objects

37.  http://suo.ieee.org/ontology/msg03955.html
38.  http://suo.ieee.org/ontology/msg03956.html
39.  http://suo.ieee.org/ontology/msg03958.html
40.  http://suo.ieee.org/ontology/msg03960.html
41.  http://suo.ieee.org/ontology/msg03963.html
42.  http://suo.ieee.org/ontology/msg03977.html
43.  http://suo.ieee.org/ontology/msg03979.html
44.  http://suo.ieee.org/ontology/msg04013.html

2.3.  Products and Coproducts

45.  http://suo.ieee.org/ontology/msg04014.html
46.  http://suo.ieee.org/ontology/msg04015.html
47.  http://suo.ieee.org/ontology/msg04018.html
48.  http://suo.ieee.org/ontology/msg04037.html
49.

All of the above material is excerpted from:

| Ernest G. Manes & Michael A. Arbib,
|'Algebraic Approaches to Program Semantics',
| Springer-Verlag, New York, NY, 1986.

Set Theory


01.  http://suo.ieee.org/ontology/msg04082.html

Appendix.  Elementary Set Theory

02.  http://suo.ieee.org/ontology/msg04083.html

A.1.  The Classification Axiom Scheme

03.  http://suo.ieee.org/ontology/msg04084.html
04.  http://suo.ieee.org/ontology/msg04086.html
05.  http://suo.ieee.org/ontology/msg04088.html

A.2.  Elementary Algebra of Classes

06.  http://suo.ieee.org/ontology/msg04089.html
07.  http://suo.ieee.org/ontology/msg04091.html
08.  http://suo.ieee.org/ontology/msg04092.html
09.  http://suo.ieee.org/ontology/msg04093.html
10.  http://suo.ieee.org/ontology/msg04094.html

A.3.  Existence of Sets

11.  http://suo.ieee.org/ontology/msg04095.html
12.  http://suo.ieee.org/ontology/msg04096.html
13.  http://suo.ieee.org/ontology/msg04097.html

A.4.  Ordered Pairs:  Relations

14.  http://suo.ieee.org/ontology/msg04098.html
15.  http://suo.ieee.org/ontology/msg04099.html

A.5.  Functions

16.  http://suo.ieee.org/ontology/msg04100.html
17.

Links 2 through ?? of the above material are
selected and transcribed into plaintext from:

| John L. Kelley, 'General Topology',
| Van Nostrand Reinhold, New York, NY, 1955.

Topology


1.  Topological Spaces

1.1.  Topologies and Neighborhoods

01.  http://suo.ieee.org/ontology/msg03863.html
02.  http://suo.ieee.org/ontology/msg03867.html
03.  http://suo.ieee.org/ontology/msg03868.html
04.  http://suo.ieee.org/ontology/msg03869.html

1.2.  Closed Sets

05.  http://suo.ieee.org/ontology/msg03870.html

1.3.  Accumulation Points

06.  http://suo.ieee.org/ontology/msg03871.html
07.  http://suo.ieee.org/ontology/msg03872.html

1.4.  Closure

08.  http://suo.ieee.org/ontology/msg03874.html
09.  http://suo.ieee.org/ontology/msg03880.html

1.5.  Interior and Boundary

10.  http://suo.ieee.org/ontology/msg03882.html
11.  http://suo.ieee.org/ontology/msg03883.html
12.  http://suo.ieee.org/ontology/msg03888.html
13.  http://suo.ieee.org/ontology/msg03889.html

1.6.  Bases and Subbases

14.  http://suo.ieee.org/ontology/msg03892.html
15.  http://suo.ieee.org/ontology/msg03893.html
16.  http://suo.ieee.org/ontology/msg03894.html
17.  http://suo.ieee.org/ontology/msg03899.html
18.  http://suo.ieee.org/ontology/msg03900.html
19.  http://suo.ieee.org/ontology/msg03903.html

1.7.  Relativization, Separation

20.  http://suo.ieee.org/ontology/msg03908.html
21.  http://suo.ieee.org/ontology/msg03914.html
22.  http://suo.ieee.org/ontology/msg03916.html
23.  http://suo.ieee.org/ontology/msg03917.html

1.8.  Connected Sets

24.  http://suo.ieee.org/ontology/msg03918.html
25.  http://suo.ieee.org/ontology/msg03920.html

2.  Convergence [omitted]

3.  Product and Quotient Spaces

26.  http://suo.ieee.org/ontology/msg03921.html

3.1.  Continuous Functions

27.  http://suo.ieee.org/ontology/msg03922.html
28.  http://suo.ieee.org/ontology/msg03923.html
29.  http://suo.ieee.org/ontology/msg03924.html
30.  http://suo.ieee.org/ontology/msg03925.html

3.2.  Product Spaces

31.

All of the above material is excerpted from:

| John L. Kelley, 'General Topology',
| Van Nostrand Reinhold, New York, NY, 1955.

Work

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Apposite Purposes Of Logical Languages Objectified (APOLLO)

01.  http://suo.ieee.org/ontology/msg03334.html
02.  http://suo.ieee.org/ontology/msg03335.html
03.  http://suo.ieee.org/ontology/msg03336.html
04.  http://suo.ieee.org/ontology/msg03337.html
05.  http://suo.ieee.org/ontology/msg03339.html
06.  http://suo.ieee.org/ontology/msg03340.html
07.  http://suo.ieee.org/ontology/msg03341.html
08.  http://suo.ieee.org/ontology/msg03343.html
09.  http://suo.ieee.org/ontology/msg03346.html
10.  http://suo.ieee.org/ontology/msg03347.html
11.  http://suo.ieee.org/ontology/msg03348.html
12.  http://suo.ieee.org/ontology/msg03349.html
13.  http://suo.ieee.org/ontology/msg03350.html
14.  http://suo.ieee.org/ontology/msg03351.html
15.  http://suo.ieee.org/ontology/msg03353.html
16.  http://suo.ieee.org/ontology/msg03354.html
17.  http://suo.ieee.org/ontology/msg03355.html
18.  http://suo.ieee.org/ontology/msg03356.html
19.  http://suo.ieee.org/ontology/msg03358.html
20.  http://suo.ieee.org/ontology/msg03361.html
21.  http://suo.ieee.org/ontology/msg03362.html
22.  http://suo.ieee.org/ontology/msg03368.html
23.  http://suo.ieee.org/ontology/msg03371.html
24.  http://suo.ieee.org/ontology/msg03385.html
25.  http://suo.ieee.org/ontology/msg03387.html
26.  http://suo.ieee.org/ontology/msg03388.html
27.  http://suo.ieee.org/ontology/msg03389.html
28.  http://suo.ieee.org/ontology/msg03397.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Categories For The Working Ontologist

01.  http://suo.ieee.org/email/msg06635.html
02.  http://suo.ieee.org/email/msg06638.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Conformance, Modularity, Compartmentality

01.  http://suo.ieee.org/email/msg06824.html
02.  http://suo.ieee.org/email/msg06832.html
03.  http://suo.ieee.org/email/msg06844.html
04.  http://suo.ieee.org/email/msg06845.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Critique Of Irreflective Logic (COIL)

01.  http://suo.ieee.org/ontology/msg03390.html
02.  http://suo.ieee.org/ontology/msg04236.html
03.  

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Formal Languages

01.  http://suo.ieee.org/ontology/msg03366.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Higher Order Categorical Logic

01.  http://suo.ieee.org/ontology/msg03373.html
02.  http://suo.ieee.org/ontology/msg03375.html
03.  http://suo.ieee.org/ontology/msg03376.html
04.  http://suo.ieee.org/ontology/msg03377.html
05.  http://suo.ieee.org/ontology/msg03378.html
06.  http://suo.ieee.org/ontology/msg03381.html
07.  http://suo.ieee.org/ontology/msg03383.html
08.  http://suo.ieee.org/ontology/msg03384.html
09.  http://suo.ieee.org/ontology/msg03392.html
10.  http://suo.ieee.org/ontology/msg03393.html
11.  http://suo.ieee.org/ontology/msg03394.html
12.  http://suo.ieee.org/ontology/msg03395.html
13.  http://suo.ieee.org/ontology/msg03396.html
14.  http://suo.ieee.org/ontology/msg03398.html
15.  http://suo.ieee.org/ontology/msg03399.html
16.  http://suo.ieee.org/ontology/msg03400.html
17.  http://suo.ieee.org/ontology/msg03401.html
18.  http://suo.ieee.org/ontology/msg03402.html
19.  http://suo.ieee.org/ontology/msg03403.html
20.  http://suo.ieee.org/ontology/msg03404.html
21.  http://suo.ieee.org/ontology/msg03405.html
22.  http://suo.ieee.org/ontology/msg03406.html
23.  http://suo.ieee.org/ontology/msg03409.html
24.  http://suo.ieee.org/ontology/msg03410.html
25.  http://suo.ieee.org/ontology/msg03411.html
26.  http://suo.ieee.org/ontology/msg03412.html
27.  http://suo.ieee.org/ontology/msg03415.html
28.  http://suo.ieee.org/ontology/msg03416.html
29.  http://suo.ieee.org/ontology/msg03417.html
30.  http://suo.ieee.org/ontology/msg03418.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Lamina Calculus

01.  http://suo.ieee.org/email/msg06837.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Lattices, Partial Orders, Pre-Orders

01.  http://suo.ieee.org/ontology/msg03360.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Models & Theories

01.  http://suo.ieee.org/ontology/msg03338.html
02.  http://suo.ieee.org/ontology/msg03344.html
03.  http://suo.ieee.org/ontology/msg03345.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Reflections On Categories

01.  http://suo.ieee.org/ontology/msg03391.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Re: levance

01.  http://suo.ieee.org/ontology/msg03369.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Stelle, Stelle, Stelle

01.  http://suo.ieee.org/ontology/msg02790.html
02.  http://suo.ieee.org/ontology/msg02803.html
03.  http://suo.ieee.org/ontology/msg02864.html
04.  http://suo.ieee.org/ontology/msg02887.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Aggravations

01.  http://suo.ieee.org/email/msg07031.html
02.  http://suo.ieee.org/email/msg07033.html
03.  http://suo.ieee.org/email/msg07037.html
04.  http://suo.ieee.org/email/msg07038.html
05.  http://suo.ieee.org/email/msg07039.html

06.  http://suo.ieee.org/ontology/msg03440.html
07.  http://suo.ieee.org/ontology/msg03441.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Approaches To Inquiry Driven Systems (ATIDS)

01.  http://suo.ieee.org/email/msg07022.html

02.  http://suo.ieee.org/ontology/msg03433.html
03.  http://suo.ieee.org/ontology/msg03434.html
04.  http://suo.ieee.org/ontology/msg03435.html
05.  http://suo.ieee.org/ontology/msg03436.html
06.  http://suo.ieee.org/ontology/msg03442.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Building Ontologies Through Signs And Inquiries (BOTSAI)

01.  http://suo.ieee.org/email/msg06871.html
02.  http://suo.ieee.org/email/msg06887.html
03.  http://suo.ieee.org/email/msg06895.html
04.  http://suo.ieee.org/email/msg06917.html
05.  http://suo.ieee.org/email/msg06918.html
06.  http://suo.ieee.org/email/msg06924.html
07.  http://suo.ieee.org/email/msg06952.html
08.  http://suo.ieee.org/email/msg06974.html
09.  http://suo.ieee.org/email/msg07002.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Driven Intellectual Growth (IDIG)

01.  http://suo.ieee.org/ontology/msg03602.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Driven Intentional Logic (IDIL)

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Driven Ontology Development (IDOD)

01.  http://suo.ieee.org/email/msg07022.html
02.  http://suo.ieee.org/email/msg07025.html
03.  http://suo.ieee.org/email/msg07029.html
04.  http://suo.ieee.org/email/msg07035.html

01.  http://suo.ieee.org/ontology/msg03433.html
02.  http://suo.ieee.org/ontology/msg03437.html
03.  http://suo.ieee.org/ontology/msg03438.html
04.  http://suo.ieee.org/ontology/msg03439.html
05.  http://suo.ieee.org/ontology/msg03597.html
06.  http://suo.ieee.org/ontology/msg03600.html
07.  http://suo.ieee.org/ontology/msg03601.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Driven Systems (IDS)

Old

01.  http://suo.ieee.org/email/msg02678.html
02.  http://suo.ieee.org/email/msg02679.html
03.  http://suo.ieee.org/email/msg02682.html
04.  http://suo.ieee.org/email/msg02685.html
05.  http://suo.ieee.org/email/msg02695.html
06.  http://suo.ieee.org/email/msg02697.html
07.  http://suo.ieee.org/email/msg02720.html
08.  http://suo.ieee.org/email/msg03943.html

01.  http://suo.ieee.org/ontology/msg00272.html
02.  http://suo.ieee.org/ontology/msg00273.html
03.  http://suo.ieee.org/ontology/msg00276.html
04.  http://suo.ieee.org/ontology/msg00279.html
05.  http://suo.ieee.org/ontology/msg00289.html
06.  http://suo.ieee.org/ontology/msg00291.html
07.  http://suo.ieee.org/ontology/msg00314.html
08.  http://suo.ieee.org/ontology/msg01535.html
09.  http://suo.ieee.org/ontology/msg03071.html
10.  http://suo.ieee.org/ontology/msg03136.html

New

01.  http://suo.ieee.org/ontology/msg03604.html
02.  http://suo.ieee.org/ontology/msg03605.html
03.  http://suo.ieee.org/ontology/msg03607.html
04.  http://suo.ieee.org/ontology/msg03608.html
05.  http://suo.ieee.org/ontology/msg03609.html
06.  http://suo.ieee.org/ontology/msg03610.html
07.  http://suo.ieee.org/ontology/msg03611.html
08.  http://suo.ieee.org/ontology/msg03613.html
09.  http://suo.ieee.org/ontology/msg03614.html
10.  http://suo.ieee.org/ontology/msg03615.html
11.  http://suo.ieee.org/ontology/msg03616.html
12.  http://suo.ieee.org/ontology/msg03617.html
13.  http://suo.ieee.org/ontology/msg03618.html
14.  http://suo.ieee.org/ontology/msg03619.html
15.  http://suo.ieee.org/ontology/msg03620.html
16.  http://suo.ieee.org/ontology/msg03621.html
17.  http://suo.ieee.org/ontology/msg03622.html
18.  http://suo.ieee.org/ontology/msg03623.html
19.  http://suo.ieee.org/ontology/msg03624.html
20.  http://suo.ieee.org/ontology/msg03625.html
21.  http://suo.ieee.org/ontology/msg03626.html
22.  http://suo.ieee.org/ontology/msg03627.html
23.  http://suo.ieee.org/ontology/msg03629.html
24.  http://suo.ieee.org/ontology/msg03630.html
25.  http://suo.ieee.org/ontology/msg03631.html
26.  http://suo.ieee.org/ontology/msg03634.html
27.  http://suo.ieee.org/ontology/msg03636.html
28.  http://suo.ieee.org/ontology/msg03638.html
29.  http://suo.ieee.org/ontology/msg03639.html
30.  http://suo.ieee.org/ontology/msg03640.html
31.  http://suo.ieee.org/ontology/msg03642.html
32.  http://suo.ieee.org/ontology/msg03645.html
33.  http://suo.ieee.org/ontology/msg03647.html
34.  http://suo.ieee.org/ontology/msg03648.html
35.  http://suo.ieee.org/ontology/msg03649.html
36.  http://suo.ieee.org/ontology/msg03650.html
37.  http://suo.ieee.org/ontology/msg03652.html
38.  http://suo.ieee.org/ontology/msg03657.html
39.  http://suo.ieee.org/ontology/msg03659.html
40.  http://suo.ieee.org/ontology/msg03660.html
41.  http://suo.ieee.org/ontology/msg03661.html
42.  http://suo.ieee.org/ontology/msg03662.html
43.  http://suo.ieee.org/ontology/msg03663.html
44.  http://suo.ieee.org/ontology/msg03664.html
45.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Into Inquiry (I^3)

01.  http://suo.ieee.org/ontology/msg02959.html
02.  http://suo.ieee.org/ontology/msg02961.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Electations

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Analytic Differential Ontology (ADO)

http://suo.ieee.org/ontology/msg00072.html
http://suo.ieee.org/ontology/msg00108.html

Ignore this for now.  This is yet another thread that I started on
the Differential Logic extension of ZOL and never got back to, yet.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Apposite Purposes Of Logical Languages Objectified (APOLLO)

http://suo.ieee.org/ontology/msg03334.html
http://suo.ieee.org/ontology/msg03335.html
http://suo.ieee.org/ontology/msg03336.html
http://suo.ieee.org/ontology/msg03337.html
http://suo.ieee.org/ontology/msg03339.html
http://suo.ieee.org/ontology/msg03340.html
http://suo.ieee.org/ontology/msg03341.html
http://suo.ieee.org/ontology/msg03343.html
http://suo.ieee.org/ontology/msg03346.html
http://suo.ieee.org/ontology/msg03347.html
http://suo.ieee.org/ontology/msg03348.html
http://suo.ieee.org/ontology/msg03349.html
http://suo.ieee.org/ontology/msg03350.html
http://suo.ieee.org/ontology/msg03351.html
http://suo.ieee.org/ontology/msg03353.html
http://suo.ieee.org/ontology/msg03354.html
http://suo.ieee.org/ontology/msg03355.html
http://suo.ieee.org/ontology/msg03356.html
http://suo.ieee.org/ontology/msg03358.html
http://suo.ieee.org/ontology/msg03361.html
http://suo.ieee.org/ontology/msg03362.html
http://suo.ieee.org/ontology/msg03368.html
http://suo.ieee.org/ontology/msg03371.html
http://suo.ieee.org/ontology/msg03385.html
http://suo.ieee.org/ontology/msg03387.html
http://suo.ieee.org/ontology/msg03388.html
http://suo.ieee.org/ontology/msg03389.html
http://suo.ieee.org/ontology/msg03397.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Differential Analytic Turing Automata (DATA)

http://suo.ieee.org/email/msg03004.html
http://suo.ieee.org/email/msg03026.html

Mirror Sites --

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

Application of RefLog syntax to Cook's Transform
of "Space-Time Limited Turing Automata" (STILTA)
into ZOL form.  Bears on NP-Completeness, etc.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extensions Of Logical Graphs

http://suo.ieee.org/ontology/msg03226.html
http://suo.ieee.org/ontology/msg03236.html
http://suo.ieee.org/ontology/msg03586.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extensions of Logical Graphs (RefLog, DifLog, HopLog)

http://www.virtual-earth.de/CG/cg-list/msg03351.html
http://www.virtual-earth.de/CG/cg-list/msg03352.html
http://www.virtual-earth.de/CG/cg-list/msg03353.html
http://www.virtual-earth.de/CG/cg-list/msg03354.html
http://www.virtual-earth.de/CG/cg-list/msg03376.html
http://www.virtual-earth.de/CG/cg-list/msg03379.html
http://www.virtual-earth.de/CG/cg-list/msg03381.html

Introductory adverstisement/divertisement of
Cactus Language to the Conceptual Graph list.

Conceptual Graph list archive
appears to be down at present.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Jets & Sharks in RefLog

http://suo.ieee.org/ontology/msg03309.html

RefLog rendition of the much bali-hied "Jets & Sharks" example.

| McClelland, James L. & Rumelhart, David E.,
|'Explorations in Parallel Distributed Processing:
| A Handbook of Models, Programs, and Exercises',
| MIT Press, Cambridge, MA, 1988.

Connections to connectionism
and neuroid net logic works
link up from this juncture.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Propositional Equation Reasoning Systems (PERS)

http://suo.ieee.org/email/msg04187.html
http://suo.ieee.org/email/msg04305.html
http://suo.ieee.org/email/msg04413.html
http://suo.ieee.org/email/msg04419.html
http://suo.ieee.org/email/msg04422.html
http://suo.ieee.org/email/msg04423.html
http://suo.ieee.org/email/msg04432.html
http://suo.ieee.org/email/msg04454.html
http://suo.ieee.org/email/msg04455.html
http://suo.ieee.org/email/msg04476.html
http://suo.ieee.org/email/msg04510.html
http://suo.ieee.org/email/msg04517.html
http://suo.ieee.org/email/msg04525.html
http://suo.ieee.org/email/msg04533.html
http://suo.ieee.org/email/msg04536.html
http://suo.ieee.org/email/msg04542.html
http://suo.ieee.org/email/msg04546.html

Main Exposition of the Reflective Extension of ZOL,
alias "Cactus Language", in its more "human uses"
of representing simple universes of discourse
and proving theorems in sentential logic.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Reflective Extension Of Logical Graphs (RefLog)

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

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Sequential Interactions Generating Hypotheses (SIGH's)

http://suo.ieee.org/email/msg02607.html
http://suo.ieee.org/email/msg02608.html
http://suo.ieee.org/email/msg03183.html

http://suo.ieee.org/ontology/msg03278.html <<<---<<< Recent

Prototype application of Cactus Language or RefLog Syntax
to a real live data set from Human Interaction Research,
taken up as a portion of my Psych M.A. work (1989).

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Shroud of Turing (SOT)

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/msg01966.html
http://suo.ieee.org/email/msg01985.html
http://suo.ieee.org/email/msg01988.html
http://suo.ieee.org/email/msg02714.html

http://suo.ieee.org/ontology/msg00072.html
http://suo.ieee.org/ontology/msg00308.html

More stuff on Cook's Approximation to Turing Automata.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Signs, Information, Logic, Inquiry (SILI)

http://suo.ieee.org/email/msg02534.html
http://suo.ieee.org/email/msg02554.html
http://suo.ieee.org/email/msg02570.html
http://suo.ieee.org/email/msg02590.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Ultimate Reckoning Graph Engine (URGE)

http://stderr.org/pipermail/arisbe/2001-January/000168.html

Ignore for now.  Another anchor with no boat.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

What Language To Use?
Sowa's Top Level Categories,
Sowa's TLC In And Out Of KIF,
Representation of Sowa's TLC in RefLog

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/email/msg02463.html
http://suo.ieee.org/email/msg02466.html

http://suo.ieee.org/ontology/msg00048.html
http://suo.ieee.org/ontology/msg00051.html
http://suo.ieee.org/ontology/msg03571.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

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

Same Ol', Same Ol'.  Olé!?

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Critique Of Non-Functional Reason

001.  http://suo.ieee.org/email/msg07248.html
002.  http://suo.ieee.org/email/msg07256.html
003.  http://suo.ieee.org/email/msg07259.html
004.  http://suo.ieee.org/email/msg07261.html
005.  http://suo.ieee.org/email/msg07272.html
006.  http://suo.ieee.org/email/msg07273.html
007.  http://suo.ieee.org/email/msg07274.html
008.  http://suo.ieee.org/email/msg07275.html
009.  http://suo.ieee.org/email/msg07277.html
010.  http://suo.ieee.org/email/msg07291.html
011.  http://suo.ieee.org/email/msg07294.html
012.  http://suo.ieee.org/email/msg07305.html
013.  http://suo.ieee.org/email/msg07310.html
014.  http://suo.ieee.org/email/msg07312.html
015.  http://suo.ieee.org/email/msg07313.html
016.  http://suo.ieee.org/email/msg07315.html
017.  http://suo.ieee.org/email/msg07321.html
018.  http://suo.ieee.org/email/msg07323.html
019.  http://suo.ieee.org/email/msg07325.html
020.  http://suo.ieee.org/email/msg07326.html
021.  http://suo.ieee.org/email/msg07330.html
022.  http://suo.ieee.org/email/msg07332.html
023.  http://suo.ieee.org/email/msg07333.html
024.  http://suo.ieee.org/email/msg07337.html
025.  http://suo.ieee.org/email/msg07339.html
026.  http://suo.ieee.org/email/msg07344.html
027.  http://suo.ieee.org/email/msg07347.html
028.  http://suo.ieee.org/email/msg07351.html
029.  http://suo.ieee.org/email/msg07354.html
030.  http://suo.ieee.org/email/msg07357.html
031.  http://suo.ieee.org/email/msg07360.html
032.  http://suo.ieee.org/email/msg07361.html
033.  http://suo.ieee.org/email/msg07363.html
034.  http://suo.ieee.org/email/msg07364.html
035.  http://suo.ieee.org/email/msg07366.html
036.  http://suo.ieee.org/email/msg07369.html
037.  http://suo.ieee.org/email/msg07373.html
038.  http://suo.ieee.org/email/msg07377.html
039.  http://suo.ieee.org/email/msg07382.html
040.  http://suo.ieee.org/email/msg07387.html
041.  http://suo.ieee.org/email/msg07390.html
042.  http://suo.ieee.org/email/msg07393.html
043.  http://suo.ieee.org/email/msg07398.html
044.  http://suo.ieee.org/email/msg07409.html
045.  http://suo.ieee.org/email/msg07416.html
046.  http://suo.ieee.org/email/msg07435.html
047.  http://suo.ieee.org/email/msg07443.html
048.  http://suo.ieee.org/email/msg07444.html
049.  http://suo.ieee.org/email/msg07449.html
050.  http://suo.ieee.org/email/msg07454.html
051.  http://suo.ieee.org/email/msg07455.html
052.  http://suo.ieee.org/email/msg07457.html
053.  http://suo.ieee.org/email/msg07459.html
054.  http://suo.ieee.org/email/msg07461.html
055.  http://suo.ieee.org/email/msg07466.html
056.  http://suo.ieee.org/email/msg07467.html
057.  http://suo.ieee.org/email/msg07469.html
058.  http://suo.ieee.org/email/msg07470.html
059.  http://suo.ieee.org/email/msg07484.html
060.  http://suo.ieee.org/email/msg07494.html
061.  http://suo.ieee.org/email/msg07497.html
062.  http://suo.ieee.org/email/msg07499.html
063.  http://suo.ieee.org/email/msg07503.html
064.  http://suo.ieee.org/email/msg07505.html
065.  http://suo.ieee.org/email/msg07514.html
066.  http://suo.ieee.org/email/msg07515.html
067.  http://suo.ieee.org/email/msg07520.html
068.  http://suo.ieee.org/email/msg07524.html
069.  http://suo.ieee.org/email/msg07530.html

070.  http://suo.ieee.org/ontology/msg03473.html
071.  http://suo.ieee.org/ontology/msg03479.html
072.  http://suo.ieee.org/ontology/msg03483.html
073.  http://suo.ieee.org/ontology/msg03484.html
074.  http://suo.ieee.org/ontology/msg03485.html
075.  http://suo.ieee.org/ontology/msg03490.html
076.  http://suo.ieee.org/ontology/msg03496.html
077.  http://suo.ieee.org/ontology/msg03497.html
078.  http://suo.ieee.org/ontology/msg03499.html
079.  http://suo.ieee.org/ontology/msg03500.html
080.  http://suo.ieee.org/ontology/msg03509.html
081.  http://suo.ieee.org/ontology/msg03510.html
082.  http://suo.ieee.org/ontology/msg03511.html
083.  http://suo.ieee.org/ontology/msg03512.html
084.  http://suo.ieee.org/ontology/msg03513.html
085.  http://suo.ieee.org/ontology/msg03514.html
086.  http://suo.ieee.org/ontology/msg03517.html
087.  http://suo.ieee.org/ontology/msg03518.html
088.  http://suo.ieee.org/ontology/msg03520.html
089.  http://suo.ieee.org/ontology/msg03523.html
090.  http://suo.ieee.org/ontology/msg03524.html
091.  http://suo.ieee.org/ontology/msg03525.html
092.  http://suo.ieee.org/ontology/msg03526.html
093.  http://suo.ieee.org/ontology/msg03527.html
094.  http://suo.ieee.org/ontology/msg03528.html
095.  http://suo.ieee.org/ontology/msg03529.html
096.  http://suo.ieee.org/ontology/msg03538.html
097.  http://suo.ieee.org/ontology/msg03539.html
098.  http://suo.ieee.org/ontology/msg03541.html
099.  http://suo.ieee.org/ontology/msg03542.html
100.  http://suo.ieee.org/ontology/msg03543.html
101.  http://suo.ieee.org/ontology/msg03544.html
102.  http://suo.ieee.org/ontology/msg03545.html
103.  http://suo.ieee.org/ontology/msg03546.html
104.  http://suo.ieee.org/ontology/msg03547.html
105.  http://suo.ieee.org/ontology/msg03548.html
106.  http://suo.ieee.org/ontology/msg03549.html
107.  http://suo.ieee.org/ontology/msg03550.html
108.  http://suo.ieee.org/ontology/msg03551.html
109.  http://suo.ieee.org/ontology/msg03552.html
110.  http://suo.ieee.org/ontology/msg03553.html
111.  http://suo.ieee.org/ontology/msg03554.html
112.  http://suo.ieee.org/ontology/msg03555.html
113.  http://suo.ieee.org/ontology/msg03556.html
114.  http://suo.ieee.org/ontology/msg03557.html
115.  http://suo.ieee.org/ontology/msg03560.html
116.  http://suo.ieee.org/ontology/msg03561.html
117.  http://suo.ieee.org/ontology/msg03562.html
118.  http://suo.ieee.org/ontology/msg03563.html
119.  http://suo.ieee.org/ontology/msg03567.html
120.  http://suo.ieee.org/ontology/msg03569.html
121.  http://suo.ieee.org/ontology/msg03570.html
122.  http://suo.ieee.org/ontology/msg03571.html
123.  http://suo.ieee.org/ontology/msg03572.html
124.  http://suo.ieee.org/ontology/msg03573.html
125.  http://suo.ieee.org/ontology/msg03576.html
126.  http://suo.ieee.org/ontology/msg03577.html
127.  http://suo.ieee.org/ontology/msg03578.html
128.  http://suo.ieee.org/ontology/msg03579.html
129.  http://suo.ieee.org/ontology/msg03580.html
130.  http://suo.ieee.org/ontology/msg03581.html
131.  http://suo.ieee.org/ontology/msg03582.html
132.  http://suo.ieee.org/ontology/msg03583.html
133.  http://suo.ieee.org/ontology/msg03584.html
134.  http://suo.ieee.org/ontology/msg03585.html
135.  http://suo.ieee.org/ontology/msg03586.html
136.  http://suo.ieee.org/ontology/msg03587.html
137.  http://suo.ieee.org/ontology/msg03588.html
138.  http://suo.ieee.org/ontology/msg03591.html
139.  http://suo.ieee.org/ontology/msg03593.html
140.  http://suo.ieee.org/ontology/msg03595.html
141.  http://suo.ieee.org/ontology/msg03596.html
142.  http://suo.ieee.org/ontology/msg03599.html
143.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extension x Comprehension = Information

01.  http://suo.ieee.org/ontology/msg03746.html
02.  http://suo.ieee.org/ontology/msg03747.html
03.  http://suo.ieee.org/ontology/msg03749.html
04.  http://suo.ieee.org/ontology/msg03752.html
05.  http://suo.ieee.org/ontology/msg03753.html
06.  http://suo.ieee.org/ontology/msg03754.html
07.  http://suo.ieee.org/ontology/msg03755.html
08.  http://suo.ieee.org/ontology/msg03756.html
09.  http://suo.ieee.org/ontology/msg03757.html
10.  http://suo.ieee.org/ontology/msg03758.html
11.  http://suo.ieee.org/ontology/msg03760.html
12.  http://suo.ieee.org/ontology/msg03761.html
13.  http://suo.ieee.org/ontology/msg03763.html
14.  http://suo.ieee.org/ontology/msg03765.html
15.  http://suo.ieee.org/ontology/msg03766.html
16.  http://suo.ieee.org/ontology/msg03767.html
17.  http://suo.ieee.org/ontology/msg03768.html
18.  http://suo.ieee.org/ontology/msg03769.html
19.  http://suo.ieee.org/ontology/msg03770.html
20.  http://suo.ieee.org/ontology/msg03771.html
21.  http://suo.ieee.org/ontology/msg03772.html
22.  http://suo.ieee.org/ontology/msg03773.html
23.  http://suo.ieee.org/ontology/msg03774.html
24.  http://suo.ieee.org/ontology/msg03775.html
25.  http://suo.ieee.org/ontology/msg03777.html
26.  http://suo.ieee.org/ontology/msg03778.html
27.  http://suo.ieee.org/ontology/msg03779.html
28.  http://suo.ieee.org/ontology/msg03780.html
29.  http://suo.ieee.org/ontology/msg03781.html
30.  http://suo.ieee.org/ontology/msg03782.html
31.  http://suo.ieee.org/ontology/msg03784.html
32.  http://suo.ieee.org/ontology/msg03786.html
33.  http://suo.ieee.org/ontology/msg03789.html
34.  http://suo.ieee.org/ontology/msg03791.html
35.  http://suo.ieee.org/ontology/msg03792.html
36.  http://suo.ieee.org/ontology/msg03793.html
37.  http://suo.ieee.org/ontology/msg03794.html
38.  http://suo.ieee.org/ontology/msg03796.html
39.  http://suo.ieee.org/ontology/msg03797.html
40.  http://suo.ieee.org/ontology/msg03798.html
41.  http://suo.ieee.org/ontology/msg03800.html
42.  http://suo.ieee.org/ontology/msg03801.html
43.  http://suo.ieee.org/ontology/msg03802.html
44.  http://suo.ieee.org/ontology/msg03803.html
45.  http://suo.ieee.org/ontology/msg03804.html
46.  http://suo.ieee.org/ontology/msg03805.html
47.  http://suo.ieee.org/ontology/msg03806.html
48.  http://suo.ieee.org/ontology/msg03807.html
49.  http://suo.ieee.org/ontology/msg03808.html
50.  http://suo.ieee.org/ontology/msg03810.html
51.  http://suo.ieee.org/ontology/msg03811.html
52.  http://suo.ieee.org/ontology/msg03812.html
53.  http://suo.ieee.org/ontology/msg03813.html
54.  http://suo.ieee.org/ontology/msg03814.html
55.  http://suo.ieee.org/ontology/msg03816.html
56.  http://suo.ieee.org/ontology/msg03817.html
57.  http://suo.ieee.org/ontology/msg03820.html
58.  http://suo.ieee.org/ontology/msg03821.html
59.  http://suo.ieee.org/ontology/msg03824.html
60.  http://suo.ieee.org/ontology/msg03825.html
61.  http://suo.ieee.org/ontology/msg03827.html
62.  http://suo.ieee.org/ontology/msg03830.html
63.  http://suo.ieee.org/ontology/msg03831.html
64.  http://suo.ieee.org/ontology/msg03832.html
65.  http://suo.ieee.org/ontology/msg03834.html
66.  http://suo.ieee.org/ontology/msg03835.html
67.  http://suo.ieee.org/ontology/msg03837.html
68.  http://suo.ieee.org/ontology/msg03838.html
69.  http://suo.ieee.org/ontology/msg03842.html
70.  http://suo.ieee.org/ontology/msg03847.html
71.  http://suo.ieee.org/ontology/msg03850.html
72.  http://suo.ieee.org/ontology/msg03853.html
73.  http://suo.ieee.org/ontology/msg03854.html
74.  http://suo.ieee.org/ontology/msg03855.html
75.  http://suo.ieee.org/ontology/msg03864.html
76.  http://suo.ieee.org/ontology/msg03865.html
77.  http://suo.ieee.org/ontology/msg03866.html
78.  http://suo.ieee.org/ontology/msg03873.html
79.  http://suo.ieee.org/ontology/msg04105.html
80.  http://suo.ieee.org/ontology/msg04107.html
81.  http://suo.ieee.org/ontology/msg04111.html
82.  http://suo.ieee.org/ontology/msg04144.html
83.  http://suo.ieee.org/ontology/msg04196.html
84.  http://suo.ieee.org/ontology/msg04213.html
85.  http://suo.ieee.org/ontology/msg04216.html
86.  http://suo.ieee.org/ontology/msg04218.html
87.  http://suo.ieee.org/ontology/msg04219.html
88.  http://suo.ieee.org/ontology/msg04221.html
89.  http://suo.ieee.org/ontology/msg04222.html
90.  http://suo.ieee.org/ontology/msg04223.html
91.  http://suo.ieee.org/ontology/msg04230.html
92.  http://suo.ieee.org/ontology/msg04237.html
93.  http://suo.ieee.org/ontology/msg04240.html
94.  http://suo.ieee.org/ontology/msg04241.html
95.  http://suo.ieee.org/ontology/msg04243.html
96.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Running Threads

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Determination

01.  http://suo.ieee.org/ontology/msg02377.html
02.  http://suo.ieee.org/ontology/msg02378.html
03.  http://suo.ieee.org/ontology/msg02379.html
04.  http://suo.ieee.org/ontology/msg02380.html
05.  http://suo.ieee.org/ontology/msg02384.html
06.  http://suo.ieee.org/ontology/msg02387.html
07.  http://suo.ieee.org/ontology/msg02388.html
08.  http://suo.ieee.org/ontology/msg02389.html
09.  http://suo.ieee.org/ontology/msg02390.html
10.  http://suo.ieee.org/ontology/msg02391.html
11.  http://suo.ieee.org/ontology/msg02395.html
12.  http://suo.ieee.org/ontology/msg02407.html
13.  http://suo.ieee.org/ontology/msg02550.html
14.  http://suo.ieee.org/ontology/msg02552.html
15.  http://suo.ieee.org/ontology/msg02556.html
16.  http://suo.ieee.org/ontology/msg02594.html
17.  http://suo.ieee.org/ontology/msg02651.html
18.  http://suo.ieee.org/ontology/msg02673.html
19.  http://suo.ieee.org/ontology/msg02706.html
20.  http://suo.ieee.org/ontology/msg03177.html
21.  http://suo.ieee.org/ontology/msg03185.html
22.  http://suo.ieee.org/ontology/msg03188.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inference, Information, Inquiry

http://suo.ieee.org/ontology/msg03006.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Into Information

http://suo.ieee.org/ontology/msg03172.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Logic As Semiotic

http://suo.ieee.org/ontology/msg03070.html
http://suo.ieee.org/ontology/msg03171.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

To Collate:

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Analytic Differential Ontology (ADO)

http://suo.ieee.org/ontology/msg00072.html
http://suo.ieee.org/ontology/msg00108.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Apposite Purposes Of Logical Languages Objectified (APOLLO)

http://suo.ieee.org/ontology/msg03334.html
http://suo.ieee.org/ontology/msg03335.html
http://suo.ieee.org/ontology/msg03336.html
http://suo.ieee.org/ontology/msg03337.html
http://suo.ieee.org/ontology/msg03339.html
http://suo.ieee.org/ontology/msg03340.html
http://suo.ieee.org/ontology/msg03341.html
http://suo.ieee.org/ontology/msg03343.html
http://suo.ieee.org/ontology/msg03346.html
http://suo.ieee.org/ontology/msg03347.html
http://suo.ieee.org/ontology/msg03348.html
http://suo.ieee.org/ontology/msg03349.html
http://suo.ieee.org/ontology/msg03350.html
http://suo.ieee.org/ontology/msg03351.html
http://suo.ieee.org/ontology/msg03353.html
http://suo.ieee.org/ontology/msg03354.html
http://suo.ieee.org/ontology/msg03355.html
http://suo.ieee.org/ontology/msg03356.html
http://suo.ieee.org/ontology/msg03358.html
http://suo.ieee.org/ontology/msg03361.html
http://suo.ieee.org/ontology/msg03362.html
http://suo.ieee.org/ontology/msg03368.html
http://suo.ieee.org/ontology/msg03371.html
http://suo.ieee.org/ontology/msg03385.html
http://suo.ieee.org/ontology/msg03387.html
http://suo.ieee.org/ontology/msg03388.html
http://suo.ieee.org/ontology/msg03389.html
http://suo.ieee.org/ontology/msg03397.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Differential Analytic Turing Automata (DATA)

http://suo.ieee.org/email/msg03004.html
http://suo.ieee.org/email/msg03026.html

Mirror Sites --

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

Application of RefLog syntax to Cook's Transform
of "Space-Time Limited Turing Automata" (STILTA)
into ZOL form.  Bears on NP-Completeness, etc.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extensions Of Logical Graphs

http://suo.ieee.org/ontology/msg03226.html
http://suo.ieee.org/ontology/msg03236.html
http://suo.ieee.org/ontology/msg03586.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extensions of Logical Graphs (RefLog, DifLog, HopLog)

http://www.virtual-earth.de/CG/cg-list/msg03351.html
http://www.virtual-earth.de/CG/cg-list/msg03352.html
http://www.virtual-earth.de/CG/cg-list/msg03353.html
http://www.virtual-earth.de/CG/cg-list/msg03354.html
http://www.virtual-earth.de/CG/cg-list/msg03376.html
http://www.virtual-earth.de/CG/cg-list/msg03379.html
http://www.virtual-earth.de/CG/cg-list/msg03381.html

Introductory adverstisement/divertisement of
Cactus Language to the Conceptual Graph list.

Conceptual Graph list archive
appears to be down at present.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Jets & Sharks in RefLog

http://suo.ieee.org/ontology/msg03309.html

RefLog rendition of the much bali-hied "Jets & Sharks" example.

| McClelland, James L. & Rumelhart, David E.,
|'Explorations in Parallel Distributed Processing:
| A Handbook of Models, Programs, and Exercises',
| MIT Press, Cambridge, MA, 1988.

Connections to connectionism
and neuroid net logic works
link up from this juncture.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Propositional Equation Reasoning Systems (PERS)

http://suo.ieee.org/email/msg04187.html
http://suo.ieee.org/email/msg04305.html
http://suo.ieee.org/email/msg04413.html
http://suo.ieee.org/email/msg04419.html
http://suo.ieee.org/email/msg04422.html
http://suo.ieee.org/email/msg04423.html
http://suo.ieee.org/email/msg04432.html
http://suo.ieee.org/email/msg04454.html
http://suo.ieee.org/email/msg04455.html
http://suo.ieee.org/email/msg04476.html
http://suo.ieee.org/email/msg04510.html
http://suo.ieee.org/email/msg04517.html
http://suo.ieee.org/email/msg04525.html
http://suo.ieee.org/email/msg04533.html
http://suo.ieee.org/email/msg04536.html
http://suo.ieee.org/email/msg04542.html
http://suo.ieee.org/email/msg04546.html

Main Exposition of the Reflective Extension of ZOL,
alias "Cactus Language", in its more "human uses"
of representing simple universes of discourse
and proving theorems in sentential logic.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Reflective Extension Of Logical Graphs (RefLog)

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

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Sequential Interactions Generating Hypotheses (SIGH's)

http://suo.ieee.org/email/msg02607.html
http://suo.ieee.org/email/msg02608.html
http://suo.ieee.org/email/msg03183.html

http://suo.ieee.org/ontology/msg03278.html <<<---<<< Recent

Prototype application of Cactus Language or RefLog Syntax
to a real live data set from Human Interaction Research,
taken up as a portion of my Psych M.A. work (1989).

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Shroud of Turing (SOT)

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/msg01966.html
http://suo.ieee.org/email/msg01985.html
http://suo.ieee.org/email/msg01988.html
http://suo.ieee.org/email/msg02714.html

http://suo.ieee.org/ontology/msg00072.html
http://suo.ieee.org/ontology/msg00308.html

More stuff on Cook's Approximation to Turing Automata.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Signs, Information, Logic, Inquiry (SILI)

http://suo.ieee.org/email/msg02534.html
http://suo.ieee.org/email/msg02554.html
http://suo.ieee.org/email/msg02570.html
http://suo.ieee.org/email/msg02590.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Ultimate Reckoning Graph Engine (URGE)

http://stderr.org/pipermail/arisbe/2001-January/000168.html

Ignore for now.  Another anchor with no boat.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

What Language To Use?
Sowa's Top Level Categories,
Sowa's TLC In And Out Of KIF,
Representation of Sowa's TLC in RefLog

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/email/msg02463.html
http://suo.ieee.org/email/msg02466.html

http://suo.ieee.org/ontology/msg00048.html
http://suo.ieee.org/ontology/msg00051.html
http://suo.ieee.org/ontology/msg03571.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

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

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Critique Of Non-Functional Reason

001.  http://suo.ieee.org/email/msg07248.html
002.  http://suo.ieee.org/email/msg07256.html
003.  http://suo.ieee.org/email/msg07259.html
004.  http://suo.ieee.org/email/msg07261.html
005.  http://suo.ieee.org/email/msg07272.html
006.  http://suo.ieee.org/email/msg07273.html
007.  http://suo.ieee.org/email/msg07274.html
008.  http://suo.ieee.org/email/msg07275.html
009.  http://suo.ieee.org/email/msg07277.html
010.  http://suo.ieee.org/email/msg07291.html
011.  http://suo.ieee.org/email/msg07294.html
012.  http://suo.ieee.org/email/msg07305.html
013.  http://suo.ieee.org/email/msg07310.html
014.  http://suo.ieee.org/email/msg07312.html
015.  http://suo.ieee.org/email/msg07313.html
016.  http://suo.ieee.org/email/msg07315.html
017.  http://suo.ieee.org/email/msg07321.html
018.  http://suo.ieee.org/email/msg07323.html
019.  http://suo.ieee.org/email/msg07325.html
020.  http://suo.ieee.org/email/msg07326.html
021.  http://suo.ieee.org/email/msg07330.html
022.  http://suo.ieee.org/email/msg07332.html
023.  http://suo.ieee.org/email/msg07333.html
024.  http://suo.ieee.org/email/msg07337.html
025.  http://suo.ieee.org/email/msg07339.html
026.  http://suo.ieee.org/email/msg07344.html
027.  http://suo.ieee.org/email/msg07347.html
028.  http://suo.ieee.org/email/msg07351.html
029.  http://suo.ieee.org/email/msg07354.html
030.  http://suo.ieee.org/email/msg07357.html
031.  http://suo.ieee.org/email/msg07360.html
032.  http://suo.ieee.org/email/msg07361.html
033.  http://suo.ieee.org/email/msg07363.html
034.  http://suo.ieee.org/email/msg07364.html
035.  http://suo.ieee.org/email/msg07366.html
036.  http://suo.ieee.org/email/msg07369.html
037.  http://suo.ieee.org/email/msg07373.html
038.  http://suo.ieee.org/email/msg07377.html
039.  http://suo.ieee.org/email/msg07382.html
040.  http://suo.ieee.org/email/msg07387.html
041.  http://suo.ieee.org/email/msg07390.html
042.  http://suo.ieee.org/email/msg07393.html
043.  http://suo.ieee.org/email/msg07398.html
044.  http://suo.ieee.org/email/msg07409.html
045.  http://suo.ieee.org/email/msg07416.html
046.  http://suo.ieee.org/email/msg07435.html
047.  http://suo.ieee.org/email/msg07443.html
048.  http://suo.ieee.org/email/msg07444.html
049.  http://suo.ieee.org/email/msg07449.html
050.  http://suo.ieee.org/email/msg07454.html
051.  http://suo.ieee.org/email/msg07455.html
052.  http://suo.ieee.org/email/msg07457.html
053.  http://suo.ieee.org/email/msg07459.html
054.  http://suo.ieee.org/email/msg07461.html
055.  http://suo.ieee.org/email/msg07466.html
056.  http://suo.ieee.org/email/msg07467.html
057.  http://suo.ieee.org/email/msg07469.html
058.  http://suo.ieee.org/email/msg07470.html
059.  http://suo.ieee.org/email/msg07484.html
060.  http://suo.ieee.org/email/msg07494.html
061.  http://suo.ieee.org/email/msg07497.html
062.  http://suo.ieee.org/email/msg07499.html
063.  http://suo.ieee.org/email/msg07503.html
064.  http://suo.ieee.org/email/msg07505.html
065.  http://suo.ieee.org/email/msg07514.html
066.  http://suo.ieee.org/email/msg07515.html
067.  http://suo.ieee.org/email/msg07520.html
068.  http://suo.ieee.org/email/msg07524.html
069.  http://suo.ieee.org/email/msg07530.html

070.  http://suo.ieee.org/ontology/msg03473.html
071.  http://suo.ieee.org/ontology/msg03479.html
072.  http://suo.ieee.org/ontology/msg03483.html
073.  http://suo.ieee.org/ontology/msg03484.html
074.  http://suo.ieee.org/ontology/msg03485.html
075.  http://suo.ieee.org/ontology/msg03490.html
076.  http://suo.ieee.org/ontology/msg03496.html
077.  http://suo.ieee.org/ontology/msg03497.html
078.  http://suo.ieee.org/ontology/msg03499.html
079.  http://suo.ieee.org/ontology/msg03500.html
080.  http://suo.ieee.org/ontology/msg03509.html
081.  http://suo.ieee.org/ontology/msg03510.html
082.  http://suo.ieee.org/ontology/msg03511.html
083.  http://suo.ieee.org/ontology/msg03512.html
084.  http://suo.ieee.org/ontology/msg03513.html
085.  http://suo.ieee.org/ontology/msg03514.html
086.  http://suo.ieee.org/ontology/msg03517.html
087.  http://suo.ieee.org/ontology/msg03518.html
088.  http://suo.ieee.org/ontology/msg03520.html
089.  http://suo.ieee.org/ontology/msg03523.html
090.  http://suo.ieee.org/ontology/msg03524.html
091.  http://suo.ieee.org/ontology/msg03525.html
092.  http://suo.ieee.org/ontology/msg03526.html
093.  http://suo.ieee.org/ontology/msg03527.html
094.  http://suo.ieee.org/ontology/msg03528.html
095.  http://suo.ieee.org/ontology/msg03529.html
096.  http://suo.ieee.org/ontology/msg03538.html
097.  http://suo.ieee.org/ontology/msg03539.html
098.  http://suo.ieee.org/ontology/msg03541.html
099.  http://suo.ieee.org/ontology/msg03542.html
100.  http://suo.ieee.org/ontology/msg03543.html
101.  http://suo.ieee.org/ontology/msg03544.html
102.  http://suo.ieee.org/ontology/msg03545.html
103.  http://suo.ieee.org/ontology/msg03546.html
104.  http://suo.ieee.org/ontology/msg03547.html
105.  http://suo.ieee.org/ontology/msg03548.html
106.  http://suo.ieee.org/ontology/msg03549.html
107.  http://suo.ieee.org/ontology/msg03550.html
108.  http://suo.ieee.org/ontology/msg03551.html
109.  http://suo.ieee.org/ontology/msg03552.html
110.  http://suo.ieee.org/ontology/msg03553.html
111.  http://suo.ieee.org/ontology/msg03554.html
112.  http://suo.ieee.org/ontology/msg03555.html
113.  http://suo.ieee.org/ontology/msg03556.html
114.  http://suo.ieee.org/ontology/msg03557.html
115.  http://suo.ieee.org/ontology/msg03560.html
116.  http://suo.ieee.org/ontology/msg03561.html
117.  http://suo.ieee.org/ontology/msg03562.html
118.  http://suo.ieee.org/ontology/msg03563.html
119.  http://suo.ieee.org/ontology/msg03567.html
120.  http://suo.ieee.org/ontology/msg03569.html
121.  http://suo.ieee.org/ontology/msg03570.html
122.  http://suo.ieee.org/ontology/msg03571.html
123.  http://suo.ieee.org/ontology/msg03572.html
124.  http://suo.ieee.org/ontology/msg03573.html
125.  http://suo.ieee.org/ontology/msg03576.html
126.  http://suo.ieee.org/ontology/msg03577.html
127.  http://suo.ieee.org/ontology/msg03578.html
128.  http://suo.ieee.org/ontology/msg03579.html
129.  http://suo.ieee.org/ontology/msg03580.html
130.  http://suo.ieee.org/ontology/msg03581.html
131.  http://suo.ieee.org/ontology/msg03582.html
132.  http://suo.ieee.org/ontology/msg03583.html
133.  http://suo.ieee.org/ontology/msg03584.html
134.  http://suo.ieee.org/ontology/msg03585.html
135.  http://suo.ieee.org/ontology/msg03586.html
136.  http://suo.ieee.org/ontology/msg03587.html
137.  http://suo.ieee.org/ontology/msg03588.html
138.  http://suo.ieee.org/ontology/msg03591.html
139.  http://suo.ieee.org/ontology/msg03593.html
140.  http://suo.ieee.org/ontology/msg03595.html
141.  http://suo.ieee.org/ontology/msg03596.html
142.  http://suo.ieee.org/ontology/msg03599.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Extension x Comprehension = Information -- Selected Links

02.  http://suo.ieee.org/ontology/msg03747.html
03.  http://suo.ieee.org/ontology/msg03749.html
04.  http://suo.ieee.org/ontology/msg03752.html
08.  http://suo.ieee.org/ontology/msg03756.html
09.  http://suo.ieee.org/ontology/msg03757.html
10.  http://suo.ieee.org/ontology/msg03758.html
18.  http://suo.ieee.org/ontology/msg03769.html
19.  http://suo.ieee.org/ontology/msg03770.html
21.  http://suo.ieee.org/ontology/msg03772.html
22.  http://suo.ieee.org/ontology/msg03773.html
23.  http://suo.ieee.org/ontology/msg03774.html
24.  http://suo.ieee.org/ontology/msg03775.html
25.  http://suo.ieee.org/ontology/msg03777.html
27.  http://suo.ieee.org/ontology/msg03779.html
28.  http://suo.ieee.org/ontology/msg03780.html
30.  http://suo.ieee.org/ontology/msg03782.html
31.  http://suo.ieee.org/ontology/msg03784.html
32.  http://suo.ieee.org/ontology/msg03786.html
34.  http://suo.ieee.org/ontology/msg03791.html
35.  http://suo.ieee.org/ontology/msg03792.html
36.  http://suo.ieee.org/ontology/msg03793.html
37.  http://suo.ieee.org/ontology/msg03794.html
38.  http://suo.ieee.org/ontology/msg03796.html
39.  http://suo.ieee.org/ontology/msg03797.html
40.  http://suo.ieee.org/ontology/msg03798.html
41.  http://suo.ieee.org/ontology/msg03800.html
42.  http://suo.ieee.org/ontology/msg03801.html
43.  http://suo.ieee.org/ontology/msg03802.html
44.  http://suo.ieee.org/ontology/msg03803.html
45.  http://suo.ieee.org/ontology/msg03804.html
46.  http://suo.ieee.org/ontology/msg03805.html
47.  http://suo.ieee.org/ontology/msg03806.html
48.  http://suo.ieee.org/ontology/msg03807.html
68.  http://suo.ieee.org/ontology/msg03838.html
70.  http://suo.ieee.org/ontology/msg03847.html
91.  http://suo.ieee.org/ontology/msg04230.html
95.  http://suo.ieee.org/ontology/msg04243.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Classification Of Signs

01.  http://suo.ieee.org/ontology/msg04336.html
02.  http://suo.ieee.org/ontology/msg04337.html
03.  http://suo.ieee.org/ontology/msg04338.html
04.  http://suo.ieee.org/ontology/msg04339.html
05.  http://suo.ieee.org/ontology/msg04342.html
06.  http://suo.ieee.org/ontology/msg04343.html
07.  http://suo.ieee.org/ontology/msg04344.html
08.  http://suo.ieee.org/ontology/msg04345.html
09.  http://suo.ieee.org/ontology/msg04376.html
10.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Detached Ideas On Virally Important Topics

01.  http://suo.ieee.org/ontology/msg01716.html
02.  http://suo.ieee.org/ontology/msg01722.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Doctrine of Individuals

01.  http://suo.ieee.org/ontology/msg04332.html
02.  http://suo.ieee.org/ontology/msg04348.html
03.  http://suo.ieee.org/ontology/msg04352.html
04.  http://suo.ieee.org/ontology/msg04353.html
05.  http://suo.ieee.org/ontology/msg04354.html
06.  http://suo.ieee.org/ontology/msg04363.html
07.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Hermeneutic Equivalence Classes

01.  http://suo.ieee.org/ontology/msg04355.html
02.  http://suo.ieee.org/ontology/msg04356.html
03.  http://suo.ieee.org/ontology/msg04357.html
04.  http://suo.ieee.org/ontology/msg04358.html
05.  http://suo.ieee.org/ontology/msg04359.html
06.  http://suo.ieee.org/ontology/msg04360.html
07.  http://suo.ieee.org/ontology/msg04361.html
08.  http://suo.ieee.org/ontology/msg04362.html
09.  http://suo.ieee.org/ontology/msg04369.html
10.  http://suo.ieee.org/ontology/msg04371.html
11.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Identity & Teridentity

01.  http://suo.ieee.org/ontology/msg04340.html
02.  http://suo.ieee.org/ontology/msg04341.html
03.  http://suo.ieee.org/ontology/msg04346.html
04.  http://suo.ieee.org/ontology/msg04374.html
05.  http://suo.ieee.org/ontology/msg04375.html
06.  http://suo.ieee.org/ontology/msg04394.html
07.  http://suo.ieee.org/ontology/msg04397.html
08.  http://suo.ieee.org/ontology/msg04398.html
09.
10.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Inquiry Into Irreducibility

01.  http://suo.ieee.org/ontology/msg03163.html
02.  http://suo.ieee.org/ontology/msg03164.html
03.  http://suo.ieee.org/ontology/msg03165.html
04.  http://suo.ieee.org/ontology/msg03166.html
05.  http://suo.ieee.org/ontology/msg03167.html
06.  http://suo.ieee.org/ontology/msg03168.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Limited Mark Universes

01.  http://suo.ieee.org/ontology/msg04349.html
02.  http://suo.ieee.org/ontology/msg04350.html
03.  http://suo.ieee.org/ontology/msg04351.html
04.  http://suo.ieee.org/ontology/msg04364.html
05.  http://suo.ieee.org/ontology/msg04365.html
06.  http://suo.ieee.org/ontology/msg04368.html
07.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Manifolds of Sensuous Impressions

01.  http://suo.ieee.org/ontology/msg04370.html
02.  http://suo.ieee.org/ontology/msg04372.html
03.  http://suo.ieee.org/ontology/msg04373.html
04.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Reductions Among Relations

Old Version

01.  http://suo.ieee.org/ontology/msg01727.html
02.  http://suo.ieee.org/ontology/msg01738.html
03.  http://suo.ieee.org/ontology/msg01747.html
04.  http://suo.ieee.org/ontology/msg01766.html
05.  http://suo.ieee.org/ontology/msg01818.html
06.  http://suo.ieee.org/ontology/msg01821.html
07.  http://suo.ieee.org/ontology/msg02167.html
08.  http://suo.ieee.org/ontology/msg02475.html

New Version

01.  http://suo.ieee.org/ontology/msg04383.html
02.  http://suo.ieee.org/ontology/msg04384.html
03.  http://suo.ieee.org/ontology/msg04385.html
04.  http://suo.ieee.org/ontology/msg04386.html
05.  http://suo.ieee.org/ontology/msg04387.html
06.  http://suo.ieee.org/ontology/msg04388.html
07.  http://suo.ieee.org/ontology/msg04389.html
08.  http://suo.ieee.org/ontology/msg04390.html
09.  http://suo.ieee.org/ontology/msg04391.html
10.  http://suo.ieee.org/ontology/msg04392.html
11.  http://suo.ieee.org/ontology/msg04393.html
12.  http://suo.ieee.org/ontology/msg04395.html
13.  http://suo.ieee.org/ontology/msg04396.html
14.  http://suo.ieee.org/ontology/msg04399.html
15.  http://suo.ieee.org/ontology/msg04400.html
16.  http://suo.ieee.org/ontology/msg04401.html
17.  http://suo.ieee.org/ontology/msg04405.html
18.  http://suo.ieee.org/ontology/msg04406.html
19.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Theory Of Relations

01.  http://suo.ieee.org/ontology/msg04377.html
02.  http://suo.ieee.org/ontology/msg04378.html
03.  http://suo.ieee.org/ontology/msg04379.html
04.  http://suo.ieee.org/ontology/msg04380.html
05.  http://suo.ieee.org/ontology/msg04381.html
06.  http://suo.ieee.org/ontology/msg04382.html
07.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Tone, Token, Type

01.  http://suo.ieee.org/ontology/msg04053.html
02.  http://suo.ieee.org/ontology/msg04325.html
03.  http://suo.ieee.org/ontology/msg04326.html
04.  http://suo.ieee.org/ontology/msg04327.html
05.  http://suo.ieee.org/ontology/msg04328.html
06.  http://suo.ieee.org/ontology/msg04329.html
07.  http://suo.ieee.org/ontology/msg04330.html
08.  http://suo.ieee.org/ontology/msg04331.html
09.  http://suo.ieee.org/ontology/msg04334.html
10.  http://suo.ieee.org/ontology/msg04347.html
11.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Work Area

Doctrine of Individuals

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04332.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04348.html
  3. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04352.html
  4. http://web.archive.org/web/20070226082537/http://suo.ieee.org/ontology/msg04353.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04354.html
  6. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04363.html