About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems (Q1842791)

From MaRDI portal





scientific article; zbMATH DE number 746258
Language Label Description Also known as
English
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

    Statements

    About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems (English)
    0 references
    0 references
    0 references
    20 April 1995
    0 references
    relational biology
    0 references
    Heyting arrow operations
    0 references
    relatively pseudocomplemented lattices
    0 references
    pseudo-Boolean algebras
    0 references
    epimorphic images
    0 references

    Identifiers