Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems (Q1339852)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems |
scientific article |
Statements
Correspondences between the Heyting arrow lattices of a distributive lattice and its sublattices in relational biologic systems (English)
0 references
24 January 1996
0 references
Heyting arrow operation
0 references
Heyting arrow lattice
0 references
epimorphic images
0 references
0 references
