Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Development of Categorical Logic.John L. Bell - unknown
    5.5. Every topos is linguistic: the equivalence theorem.
     
    Export citation  
     
    Bookmark   7 citations