International Journal of General Systems · 1999 · 10 citations · 4 references
HumanitiesComputer ScienceFormal MethodsKnowledge RepresentationLogicCategory TheoryDeductive ReasoningFormal SemanticsMathematical LogicModel TheoryPredicate LogicCategorical SemanticsCategory-theoretic LanguageCategory-theoretic LogicFormal Language TheoryFormal ModelingSyntactic Properties Of LogicSystem TheoryTransformations
The syntactic and semantic aspects of the formal language of general system logical theory (GSLT) are presented. Following an introduction to the language of GSLT, we show the power of GSLT in a number of different areas. One possible model for GSLT is category theory. The categorical structures we formally expressed by a network of elementary logical system (ELS), basic components of GSLT. GSLT uses the input-output paradigm to transform the static classical form of categorical structures to dynamic transformations of objects and morphisms. Connection with general system theory and Klir's general system problem solver (GSPS) is given.
4
A GENERAL SYSTEM LOGICAL THEORY
Germano Resconi, Maurice Jessel · International Journal of General Systems · 1986 · 35 citations
Natural Sciences, Physics, Logic +9
Algebraic tools for language processing
Teodor Rus, Tom Halverson · Computer Languages · 1994 · 18 citations
Non-Conservative Gravitational Equations
R. Mignani, Eliano Pessa, Germano Resconi · General Relativity and Gravitation · 1997 · 16 citations