4 ms·
Interesting diagrammatic notation. Does the author give inference rules for truth preserving transformations of diagrams?
by User23 2y ago
Interesting diagrammatic notation. Does the author give inference rules for truth preserving transformations of diagrams?