Equivalences in Euler-based diagram systems through normal forms
- Submitting institution
-
University of Brighton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7120296
- Type
- D - Journal article
- DOI
-
10.1112/S1461157014000114
- Title of journal
- LMS Journal of Computation and Mathematics
- Article number
- -
- First page
- 431
- Volume
- 17
- Issue
- 1
- ISSN
- 1461-1570
- Open access status
- Out of scope for open access requirements
- Month of publication
- September
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Designing formal visual reasoning systems is challenging due to the intricate impact of variations of syntactic and semantic choices on the reasoning system. This paper is significant because it uses normal forms for non-trivial diagrammatic systems to link syntax and semantics, as is common in sentential systems, enabling the development of visually simple diagrams.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -