Opis

• Tytuł:
  Intuitionistic overlap structures
• Twórca:
  Ciraulo, Francesco
• Opis:
  We study some connections between two kinds of \emph{overlap} relations: that of point-free geometries in the sense of Grzegorczyk, Whitehead and Clarke, and that recently introduced by Sambin within his constructive approach to topology. The main thesis of this paper is that the overlap relation in the latter sense is a necessary tool for a constructive and intuitionistic development of point-free geometry.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2013.06.11
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 22 No. 2 (2013): June; 201–212;
  Logic and Logical Philosophy; Tom 22 Nr 2 (2013): June; 201–212;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2013.011/733
• Temat i słowa kluczowe:
  overlap algebras;
  connection structures;
  mereological fields;
  constructive reasoning
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2013.011
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty