About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems
scientific article; zbMATH DE number 746258