Difference between revisions of "Interior algebra"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "In abstract algebra, an '''interior algebra''' is a certain type of algebraic structure that encodes the idea of the topological interior of a...") |
(No difference)
|
Revision as of 09:50, 14 October 2016
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
- Variety (universal algebra)
External links
- Interior algebra @ Wikipedia
