Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems
scientific article; zbMATH DE number 701673