The language of general systems logical theory (GSLT)

International Journal of General Systems

Volumn 28, Issue 4-5, 1999, Pages 383-416

  Resconi, Germano ^a   Rattray, Charles ^b   Hill, Gillian ^c,d  

^a UNIVERSITÀ CATTOLICA DEL SACRO CUORE   (Italy)

^b UNIVERSITY OF STIRLING   (United Kingdom)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d CITY UNIVERSITY   (United Kingdom)

Author keywords

Active control of vibration; Category theory; Compensation; Cryptography; Elementary logical system (ELS); General system problem solver (GSPS); Grammar of GSLT; Language of general system logical theory (GSLT); System approximation theory

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL LINGUISTICS; CRYPTOGRAPHY; FORMAL LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL MORPHOLOGY; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING;

ELEMENTARY LOGICAL SYSTEMS (ELS); LANGUAGE OF GENERAL SYSTEM LOGICAL THEORY (GSLT);

SYSTEMS ANALYSIS;

EID: 0033356013     PISSN: 03081079     EISSN: None     Source Type: Journal    
DOI: 10.1080/03081079908935244     Document Type: Article

References (23)

1. Higgins, P.J. (1963/64) "Algebras with a scheme of operators." Mathematische Nachrichten, 27, 115-132.
2. Hill, G. (1994) "Category theory for the configuration of complex systems." In: Proceedings of Third International Conference on Algebraic Methodology and Software Technology, A MAST'93, edited by M. Nivat, C. Rattray, T. Rus and G. Scollo, Workshops in Computing series, Springer-Verlag, London, pp. 193-200.
3. Jessel, M. (1973) Acoustique Theorique (propagation et holophonie), Masson et Cie Editeurs, Paris.
4. Kazakov, G.A. and Resconi, G. (1994) "Influenced Markovian checking process by general system logical theory." International Journal of General Systems, 22, 277-296.
5. Klir, G.J. (1985) Architecture of Systems Problem Solving, Plenum Press, New York and London.
6. Mac Lane, S. (1971) Categories for the Working Mathematician, Graduate Texts in Mathematics, 5, Springer-Verlag, New York.
7. Manna, Z. (1974) Mathematical Theory of Computation, McGraw Hill, New York.
8. Mesarovic, M.D. and Takahara, Y. (1975) Foundations of General System Theory, Academic Press.
9. Mesarovic, M.D. and Takahara, Y. (1989) Abstract system theory, Lecture Notes in Control and Information Science, 116, Springer-Verlag.
10. Mignani, R., Pessa, E. and Resconi, G. (1993) "Commutative diagrams and tensor calculus in Riemann spaces." Il Nuovo Cimento, 108B(12).
11. Mignani, R., Pessa, E. and Resconi, G. (1997) "Non-conservative gravitation equations." General Relativity and Gravitation, 29(8), 1049-1073.
12. Penna, M.P., Pessa, E. and Resconi, G. (1996) "General system logical theory and its role in cognitive psychology." Third European Congress on Systems Science, Rome, 1-4 October.
13. Petrov, A.A., Resconi, G., Faglia, R. and Magnani, P.L. (1994) "General system logical theory and its application to task description for intelligent robot." In: Proceedings of Sixth International Conference on Artificial Intelligence and Information Control of Robots, Smolenize Castle, Slovakia, September.
14. Rattray, C. (1975) "Structure algebrique, compilation et programmes structure, 1 iere partie: sigma-schema, sigma-modeles et type de donnes." Research Report No. RR4, ENSIMAG, Grenoble, France.
15. Rattray, C. and Rus, T. (1976) "Structure algebrique, compilation et programmes structure, 2ieme partie: vers une technologie de construction de compilateurs ayant une base theorique." Research Report No. RR40, ENSIMAG, Grenoble, France.
16. Rattray, C., Resconi, G. and Hill, G. (1997) "GSLT and software development process." Eleventh International Conference on Mathematical and Computer Modelling & Scientific Computing, Georgetown University, Washington DC, March 31-April 3.
17. Resconi, G. and Jessel, M. (1986) "A general system logical theory." International Journal of General Systems, 12, 159-182.
18. Resconi, G. and Tzvetkova, G.V. (1991) "Simulation of dynamic behaviour of robot manipulators by general system logical theory." In: Proceedings of Fourteenth International Symposium 'Manufacturing and Robots', Lugano, Switzerland, 25-27 June, pp. 103-106.
19. Resconi, G. and Hill, G. (1996) "The language of general system logical theory: a categorical view." European Congress on Systems Science, Rome, 1-4 October.
20. Rus, T. (1991) "Algebraic construction of compilers." Theoretical Computing Science, 90, 271-308.
21. Rus, T. and Halverson, T. (1994) "Algebraic tools for language processing." Computer Languages, 20(4), 213-238.
22. Tzvetkova, G.V. and Resconi, G. (1996) "Network recursive structure of robot dynamics based on GSLT." European Congress on Systems Science, Rome, 1-4 October.
23. Wymore, A.W. (1993) Model-Based Systems Engineering, CRC Press, Boca Raton, Florida.