A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
The expressiveness of spider diagrams augmented with constants
2009
Journal of Visual Languages and Computing
Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent
doi:10.1016/j.jvlc.2008.01.005
fatcat:kcnu44fn5bahpa6ej4piq5ibw4