You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Metalogical Decorations of Logical Diagrams (2016), p. 247
by Demey, Lorenz; Smessaert, Hans

Caption

Two-dimensional Hasse diagram for $\wp^\cup(\mathcal{OG})$

Logic

Number of labels per vertex (at most)
1

Vertex description

Conceptual info
No
Mnemonic support (AEIO, purpurea ...)
No

Edge description

Style

Diagram is colored
No
Diagram is embellished
No
Tags
Leuven
↑ Back to top ↑