A term rewriting system for Kuratowski's closure-complement problem

DOI10.4230/LIPICS.RTA.2012.38MaRDI QIDQ5111895zbMATH OpenFDO

Authors Osama al-Hassani, Quratul-Ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2012.38

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• The Kuratowski closure-complement theorem
• The Kuratowski Closure-Complement Problem
• A generalized closure and complement phenomenon
• Kuratowski monoids of n-topological spaces
• scientific article; zbMATH DE number 1156429

Cited in

(2)

• The Kuratowski Closure-Complement Problem
• Kuratowski's problem in constructive topology

This page was built for publication: A term rewriting system for Kuratowski's closure-complement problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111895)