Description

• Title:
  Intuitionistic overlap structures
• Creator:
  Ciraulo, Francesco
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2013.06.11
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2013.011/733
• Subject:
  overlap algebras;
  connection structures;
  mereological fields;
  constructive reasoning
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2013.011
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text