Interior algebra
From Wiki @ Karl Jones dot com
In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set.
Description
Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional calculus.
Interior algebras form a variety of modal algebras.
See also
- Abstract algebra
- Algebraic structure
- Interior (topology)
- Modal algebra
- Modal logic
- Set (mathematics)
- Variety (universal algebra)
External links
- Interior algebra @ Wikipedia
