Intuitionistic Overlap Structures

• Authors: Francesco Ciraulo
• Languages of publication: EN

Abstracts

EN

We study some connections between two kinds of 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.

Keywords

EN

Overlap algebras; connection structures; mereological fields; constructive reasoning

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2013
• Volume: 22
• Issue: 2
• Pages: 201-212

Dates

published

2013-06-01

online

2013-07-02

Contributors

author

Francesco Ciraulo

• Università di Padova Dipartimento di Matematica Via Trieste, 63 35121 Padova, Italy

References

• [1] Biacino, L., and G. Gerla, “Connection structures”, Notre Dame J. FormalLogic, 32 (1991): 242-247.
• [2] Biacino, L., and G. Gerla, “Connection structures: Grzegorczyk’s and Whitehead’s definiitons of point”, Notre Dame J. Formal Logic, 37 (1996): 431-439.
• [3] Ciraulo, F., “Regular opens in formal topology and a representation the- orem for overlap algebras”, Ann. Pure Appl. Logic, 164 (2013): 421-436.[WoS]
• [4] Ciraulo, F., M.E. Maietti and P. Toto, “Constructive version of Boolean algebra”, Logic Journal of The IJPL, 21 (2013): 44-62.
• [5] Ciraulo, F., and G. Sambin, “The overlap algebra of regular opens”, J. Pure Appl. Algebra, 214 (2010): 1988-1995.[WoS]
• [6] Gerla, G., “Pointless geometries”, in Handbook of Incidence Geometry, North-Holland, Amsterdam, 1995, pp. 1015-1031.
• [7] Grzegorczyk, A., “Axiomatizability of geometry without points”, Syn-these, 12 (1960): 228-235.
• [8] Johnstone, P.T., Stone Spaces, Cambridge Studies in Advanced Mathe- matics 3, Cambridge University Press, Cambridge, 1986.
• [9] Joyal, A., and M. Tierney, An extension of the Galois Theory ofGrothendieck, Memoirs of the Amer. Math. Soc. 309, 1984.
• [10] Mac Lane, S., and I. Moerdijk, Sheaves in Geometry and Logic. A FirstIntroduction to Topos Theory, Springer-Verlag, New York, 1994.
• [11] Sambin, G., “Some points in formal topology”, Theoretical Computer Sci-ence, 305 (2003): 347-408.
• [12] Sambin, G., The Basic Picture and Positive Topology. New structures forConstructive Mathematics, Oxford University Press, Oxford (to appear).

Identifiers

DOI

10.12775/LLP.2013.011