Reasoning with sentences and diagrams (Q1333317)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reasoning with sentences and diagrams |
scientific article; zbMATH DE number 638614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning with sentences and diagrams |
scientific article; zbMATH DE number 638614 |
Statements
Reasoning with sentences and diagrams (English)
0 references
13 September 1994
0 references
formal system having sentences and diagrams as well-formed representations
0 references
syntax
0 references
heterogeneous system
0 references
semantics
0 references
rules of inference
0 references
0 references
0 references
