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

摘要: We present a term rewriting system to solve class of open problems that are generalisations Kuratowski's closure-complement theorem. The concerned with finding the number distinct sets can be obtained by applying combinations axiomatically defined set operators. While original problem considers only closure and complement topological space as operators, it generalised adding operators varying axiomatisation. model these axioms rewrite rules construct allows us close some so far variants analysing several million inference steps on typical personal computer.