CONDITIONS OF SLG→SLG/iLTO FORM A LATTICE HOMOMORPfflSM

From MaRDI portal
Publication:4489094





The author presents some combinatorial considerations in \(G\)-structures. He defines a permutation equivalence relation, permutation refinement and aggregate of system structures with logical relations. The main results are: 1. Sufficient conditions for a set of permutation equivalence structure classes of a \(G\) structure with logical relations to form a bounded lattice with respect to a permutation refinement. 2. Conditions for a mapping between a \(G\) structure with logical relations and the corresponding set of permutation equivalence structure classes to form a lattice homomorphism.











This page was built for publication: CONDITIONS OF SLG→SLG/iLTO FORM A LATTICE HOMOMORPfflSM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489094)