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

Copyright according to our policy

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