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. ( Workshop on Visual Languabes and Logic Corvallis, Oregon, USA 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.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
