Abstract: Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach, whose primitive notions are regions and inclusion relation between regions, and the connection-based approach, where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.

Point-free foundation of geometry and multi-valued logic

COPPOLA, CRISTINA;GERLA, Giangiacomo;MIRANDA, Annamaria
2010

Abstract

Abstract: Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach, whose primitive notions are regions and inclusion relation between regions, and the connection-based approach, where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.
File in 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: http://hdl.handle.net/11386/2600301
 Attenzione

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

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