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. 276
by Demey, Lorenz; Smessaert, Hans

Caption

a Duality square for $\textit{CD}\cup\textit{C}$ and other opposition relations, b degenerated duality diagrams for $\textit{CD}\cup\textit{NCD}$ and $\textit{C}\cup\textit{SC}$, c degenerated duality diagram for the empty and universal relation

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 ↑