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

DOI10.4230/LIPICS.RTA.2012.38zbMATH Open1437.68073MaRDI QIDQ5111895FDOQ5111895

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

Publication date: 27 May 2020

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

Mathematics Subject Classification ID

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

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)