A mathematical condition for a sublattice of a propositional system to represent a physical subsystem, with a physical interpretation
scientific article; zbMATH DE number 3704580