2026-07-23T06:52:13Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3483 2024-03-06T10:34:16Z ddc:004 open_access

A Term Rewriting System for Kuratowski's Closure-Complement Problem Al-Hassani, Osama Mahesar, Quratul-ain Sacerdoti Coen, Claudio Sorge, Volker Kuratowski's closure-complement problem Rewriting system 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 and construct a rewriting system that allows us to close some so far open variants of Kuratowski's problem by analysing several million inference steps on a typical personal computer. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Osama Al-Hassani and Quratul-ain Mahesar and Claudio Sacerdoti Coen and Volker Sorge 2012 Is Part Of LIPIcs, Volume 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2012.38 urn:nbn:de:0030-drops-34838 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2012.38 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode