On the Completeness of Spider Diagrams Augmented with Constants (Q2948608)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Completeness of Spider Diagrams Augmented with Constants |
scientific article |
Statements
On the Completeness of Spider Diagrams Augmented with Constants (English)
0 references
6 October 2015
0 references
spider diagrams
0 references
constants
0 references
soundness
0 references
completeness
0 references
monadic first-order logic
0 references
diagrammatic reasoning
0 references