ONT Re: Effective Logical Formalism
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
ELF. Literature Note 9
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
ELF Lovers Everywhere,
So long as we're casting about for any prospective sight of land,
I might mention one of the tactics that I frequently use to keep
my own footing on something that approaches solid ground, to wit,
let's prepend the modifier "computable" to every airy subject in
cite, or site, or sight.
In my frame of reference, words like Abstraction, Intention, Interpretation,
Operation, Reflection, Representation, and so on, that rhyme with Function
and that end in "-ion", are called "-ionized words". They have as a rule
the peculiar semantic charge to denote a process that prospectively ends
in some product or result, which end is equivocally denoted by that term.
In the context of our present work, one has good reason to prefix this
entire suffix class with the adjective "computable", and that has been
my driving motivation -- see, there's another one -- for quite a few
years now.
In anticipation -- yikes, there everywhere, once you start noticing them --
of the sort of comparative study that will no doubt eventually be forced
on our attention -- yes, it was in my mind, too -- I'll begin to append
a collage of resource materials on the subjects of computable semantics
and computational model theory that I have run across in my own travels.
Along those lines, here is a first installment that comes to mind:
SEM. 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
The above material is excerpted from:
| Ernest G. Manes & Michael A. Arbib,
|'Algebraic Approaches to Program Semantics',
| Springer-Verlag, New York, NY, 1986.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o