Uniqueness conditions of C_L-structures in G_L-structure Equivalence classes of system Reconstructability analysis

摘要

This paper first introduces the basic notions of overall systems with logical relations, their subsystems, structure representation graphs, sets of H-structures and G-structures with logical relation S~L_H and S~L_G, immediate refinement and aggregate with logical rela- tions, structure-graph mappings r~L_V, r~L_G, etc., and the notions of inclusiveness with logical relations, upper bounding and lower bounding with logical relations. Then it proves the sufficient conditions under which representation graphs R~L form a lattice.