NECESSARY AND SUFFICIENT CONDITIONS FOR G-STRUCTURES WITH LOGICAL RELATIONS TO FORM BOUNDED LATTICES IN RECONSTRUCTABILITY ANALYSIS
Guangfu Shu · 1993
After a brief review of the basic notions the paper defines the G~L-structures and their partial ordering. On this basis, the paper proves the necessary and sufficient conditions for G~L-structures to form bounded lattices.