加载中…
2011-01-31
A constructive Galois connection between closure and interior
Francesco CirauloGiovanni Sambin
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本