A model of computation on multi-dimensional words, based on the overlapping operation, induces a categorical structure, to which a new type of logic corresponds, whose formulae express properties of computations in a language containing all first order formulae. The resulting deductive system is more powerful than coherent logic. The approach is illustrated through an example of an online game of map-colouring.
More-than-coherent logic for operations on images / Bottoni, Paolo Gaspare; S., Kasangian; Labella, Anna. - STAMPA. - 510:(2009), pp. 2-17. (Intervento presentato al convegno Workshop on Visual Languabes and Logic tenutosi a Corvallis, Oregon, USA nel 20 settembre 2009).
More-than-coherent logic for operations on images
BOTTONI, Paolo Gaspare;LABELLA, Anna
2009
Abstract
A model of computation on multi-dimensional words, based on the overlapping operation, induces a categorical structure, to which a new type of logic corresponds, whose formulae express properties of computations in a language containing all first order formulae. The resulting deductive system is more powerful than coherent logic. The approach is illustrated through an example of an online game of map-colouring.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.