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

Al-Hassani, Osama; Mahesar, Quratul-ain; Sacerdoti Coen, Claudio; Sorge, Volker

doi:10.4230/LIPIcs.RTA.2012.38

Document

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

Authors Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge

Part of: Volume: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (RTA 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Rewriting Techniques and Applications (RTA)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2012-05-29

PDF

File

PDF

LIPIcs.RTA.2012.38.pdf

Filesize: 0.61 MB
15 pages

Document Identifiers

DOI: 10.4230/LIPIcs.RTA.2012.38
URN: urn:nbn:de:0030-drops-34838

Subject Classification

Keywords

Kuratowski's closure-complement problem
Rewriting system

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, and Volker Sorge. A Term Rewriting System for Kuratowski's Closure-Complement Problem. In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 38-52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012) https://doi.org/10.4230/LIPIcs.RTA.2012.38

Author Details

Osama Al-Hassani

Quratul-ain Mahesar

Claudio Sacerdoti Coen

Volker Sorge

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail