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.
2009
Workshop on Visual Languabes and Logic
Categorical logics; operations on images; overlapping; online coloring
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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).
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/196606
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact