A Term Rewriting System for Kuratowski's Closure-Complement Problem

Osama Al-Hassani, Quratul-Ain Mahesar, Claudio Sacerdoti Coen & Volker Sorge
We present a term rewriting system to solve a class of open problems that are generalisations of Kuratowski's closure-complement theorem. The problems are concerned with finding the number of distinct sets that can be obtained by applying combinations of axiomatically defined set operators. While the original problem considers only closure and complement of a topological space as operators, it can be generalised by adding operators and varying axiomatisation. We model these axioms as rewrite rules...