SUO: Differential Logic and Dynamic Systems
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
SUO Working Group,
I have asciified the first part of my project report
on "Differential Logic & Dynamic Systems" and posted
it on the Ontology List. Here is the outline so far:
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Differential Logic and Dynamic Systems
0. Purpose
1. Review and Transition
D01. http://suo.ieee.org/ontology/msg04799.html
2. Functional Conception of Propositional Calculus
D02. http://suo.ieee.org/ontology/msg04800.html
D03. http://suo.ieee.org/ontology/msg04801.html
D04. http://suo.ieee.org/ontology/msg04802.html
D05. http://suo.ieee.org/ontology/msg04803.html
D06. http://suo.ieee.org/ontology/msg04804.html
D07. http://suo.ieee.org/ontology/msg04805.html
D08. http://suo.ieee.org/ontology/msg04806.html
D09. http://suo.ieee.org/ontology/msg04807.html
D10. http://suo.ieee.org/ontology/msg04808.html
D11. http://suo.ieee.org/ontology/msg04809.html
3. Differential Extension of Propositional Calculus
D12. http://suo.ieee.org/ontology/msg04810.html
D13. http://suo.ieee.org/ontology/msg04811.html
D14. http://suo.ieee.org/ontology/msg04812.html
D15. http://suo.ieee.org/ontology/msg04813.html
D16. http://suo.ieee.org/ontology/msg04814.html
D17. http://suo.ieee.org/ontology/msg04815.html
4. Back to the Beginning: Some Exemplary Universes
D18. http://suo.ieee.org/ontology/msg04816.html
D19. http://suo.ieee.org/ontology/msg04817.html
D20. http://suo.ieee.org/ontology/msg04818.html
D21. http://suo.ieee.org/ontology/msg04819.html
D22. http://suo.ieee.org/ontology/msg04820.html
D23. http://suo.ieee.org/ontology/msg04821.html
D24. http://suo.ieee.org/ontology/msg04822.html
5. Transformations of Discourse
D25. http://suo.ieee.org/ontology/msg04823.html
5.1. Foreshadowing Transformations: Extensions and Projections of Discourse
D26. http://suo.ieee.org/ontology/msg04824.html
D27. http://suo.ieee.org/ontology/msg04825.html
5.2. Thematization of Functions: And a Declaration of Independence for Variables
D28. http://suo.ieee.org/ontology/msg04826.html
D29. http://suo.ieee.org/ontology/msg04827.html
D30. http://suo.ieee.org/ontology/msg04828.html
D31. http://suo.ieee.org/ontology/msg04829.html
D32. http://suo.ieee.org/ontology/msg04830.html
D33. http://suo.ieee.org/ontology/msg04832.html
5.3. Propositional Transformations
D34. http://suo.ieee.org/ontology/msg04833.html
D35. http://suo.ieee.org/ontology/msg04834.html
D36. http://suo.ieee.org/ontology/msg04835.html
5.4. Analytic Expansions: Operators and Functors
D37. http://suo.ieee.org/ontology/msg04836.html
D38. http://suo.ieee.org/ontology/msg04837.html
D39. http://suo.ieee.org/ontology/msg04838.html
D40. http://suo.ieee.org/ontology/msg04839.html
D41. http://suo.ieee.org/ontology/msg04840.html
D42. http://suo.ieee.org/ontology/msg04841.html
D43. http://suo.ieee.org/ontology/msg04842.html
D44. http://suo.ieee.org/ontology/msg04843.html
D45. http://suo.ieee.org/ontology/msg04844.html
5.5. Transformations of Type B^2 -> B^1
D46. http://suo.ieee.org/ontology/msg04845.html
D47. http://suo.ieee.org/ontology/msg04846.html
D48. http://suo.ieee.org/ontology/msg04847.html
D49. http://suo.ieee.org/ontology/msg04848.html
D50. http://suo.ieee.org/ontology/msg04849.html
D51. http://suo.ieee.org/ontology/msg04850.html
D52. http://suo.ieee.org/ontology/msg04851.html
D53. http://suo.ieee.org/ontology/msg04852.html
D54. http://suo.ieee.org/ontology/msg04853.html
D55. http://suo.ieee.org/ontology/msg04854.html
D56. http://suo.ieee.org/ontology/msg04855.html
D57. http://suo.ieee.org/ontology/msg04856.html
D58. http://suo.ieee.org/ontology/msg04857.html
D59. http://suo.ieee.org/ontology/msg04858.html
D60. http://suo.ieee.org/ontology/msg04859.html
D61. http://suo.ieee.org/ontology/msg04860.html
D62. http://suo.ieee.org/ontology/msg04861.html
D63. http://suo.ieee.org/ontology/msg04862.html
D64. http://suo.ieee.org/ontology/msg04863.html
D65. http://suo.ieee.org/ontology/msg04864.html
D66. http://suo.ieee.org/ontology/msg04865.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o