Switch to: References

Add citations

You must login to add citations.
  1. Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Constructive version of Boolean algebra.F. Ciraulo, M. E. Maietti & P. Toto - 2013 - Logic Journal of the IGPL 21 (1):44-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A constructive Galois connection between closure and interior.Francesco Ciraulo & Giovanni Sambin - 2012 - Journal of Symbolic Logic 77 (4):1308-1324.
    We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.
    Download  
     
    Export citation  
     
    Bookmark   4 citations