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
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 |
Statements
About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems (English)
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