Abstrakt. Spindeldiagram är en visuell notation för att uttrycka logiska uttalanden. I detta papper identifierar vi ett välkänt fragment av första ordningens predikatlogik, som vi kallar ESD, motsvarande i uttryckskraft till spindeldiagramspråket. Språket ESD är monadisk och innehåller jämlikhet men har inga konstanter eller funktionssymboler. För att visa denna likvärdighet, i en riktning, konstruerar vi för varje diagram en mening i ESD som uttrycker samma information. För den mer utmanande omgången visar vi att det finns en ändlig uppsättning modeller för en mening S som kan användas för att klassificera alla modeller för S. Med hjälp av dessa klassificeringsmodeller visar vi att det finns ett diagram som uttrycker samma information som S.
I REF visade vi att spindeldiagramspråket (utan konstanter) är likvärdigt med monadisk första ordningslogik med jämlikhet (eller ESD).
What can spider diagrams say
{'venue': 'Proc. 2004, LNAI 2980, pp 112–127', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}