About: Interior algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Algebraic structure

Property	Value
dbo:description	algebraic structure (en)
dbo:wikiPageExternalLink	http://www.sciencedirect.com/science/article/pii/S0168007203001192
dbo:wikiPageWikiLink	dbr:Interior_(topology) dbr:Bjarni_Jónsson dbr:Category_theory dbr:Roman_Sikorski dbr:Morphism dbr:Neighbourhood_(mathematics) dbc:Boolean_algebra dbr:Field_of_sets dbr:Variety_(universal_algebra) dbr:Signature_(logic) dbr:Filter_(mathematics) dbr:Set_theory dbr:Topology dbr:Alexandrov_topology dbr:Stone_duality dbr:Saul_Kripke dbc:Closure_operators dbr:Clopen_set dbr:Closed_set dbr:Closure_operator dbr:Abstract_algebra dbr:Homomorphism dbr:Propositional_logic dbr:Philosophical_logic dbr:If_and_only_if dbr:Heyting_algebra dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Open_map dbr:Esakia_duality dbr:Indiscrete_space dbr:Preorder dbr:Kripke_semantics dbr:Modal_logic dbr:Open_set dbr:Connected_space dbr:Semisimple_algebra dbr:Lindenbaum–Tarski_algebra dbr:Boolean_algebra_(structure) dbc:Mathematical_logic dbr:Isomorphism dbr:Discrete_space dbr:Intuitionistic_logic dbr:Topological_space dbr:Logical_truth dbr:Deductive_closure dbc:Algebraic_structures dbc:Modal_logic dbr:Binary_relation dbr:Duality_(order_theory) dbr:Equivalence_relation dbr:Alfred_Tarski dbr:Algebraic_structure dbr:Power_set dbr:Atomic_(order_theory) dbr:Boolean_space dbr:Unary_operation dbr:Functor dbr:Category_of_topological_spaces dbr:Ultraconnected_space dbr:Empty_set dbr:Logical_equivalence dbr:Semisimple_algebraic_group dbr:Universal_algebra dbr:Compact_space dbr:Wim_Blok dbr:Derived_set_(mathematics) dbr:Embedding dbr:Semilattice dbr:Completeness_(order_theory) dbr:Decision_problem dbr:Derivative_algebra_(abstract_algebra) dbr:Modal_algebra dbr:Monadic_Boolean_algebra dbr:Clarence_Irving_Lewis dbr:Regular_open_set dbr:Subdirectly_irreducible dbr:J.C.C._McKinsey dbr:Almost_discrete_space dbr:Boolean_algebras_with_operators dbr:Finitely_subdirectly_irreducible dbr:Hereditarily_undecidable dbr:Neighbourhood_lattice dbr:Topological_semantics dbr:Continuous_map dbr:Simple_algebra dbr:Directly_indecomposable dbr:Unary_operator dbr:Complement_(order_theory) dbr:Monadic_logic dbr:Topological_basis dbr:Topomorphism
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Math dbt:Fact dbt:Tmath dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Closure_operators dbc:Mathematical_logic dbc:Algebraic_structures dbc:Modal_logic
gold:hypernym	dbr:Type
rdfs:label	Interior algebra (en) 内部代数 (zh)
owl:sameAs	freebase:Interior algebra yago-res:Interior algebra wikidata:Interior algebra dbpedia-zh:Interior algebra dbpedia-global:Interior algebra
prov:wasDerivedFrom	wikipedia-en:Interior_algebra?oldid=1295577828&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Interior_algebra
is dbo:notableIdea of	dbr:C._I._Lewis
is dbo:wikiPageRedirects of	dbr:Lewis_algebra dbr:Lewis_algebra dbr:Generalized_topological_space dbr:Generalized_topology dbr:Closure_algebra dbr:S4_algebra dbr:Topo-boolean_algebra dbr:Topomorphism
is dbo:wikiPageWikiLink of	dbr:Monad_(category_theory) dbr:Field_of_sets dbr:Alexandrov_topology dbr:Algebraic_logic dbr:Heyting_algebra dbr:Preorder dbr:Modal_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Lindenbaum–Tarski_algebra dbr:List_of_mathematical_logic_topics dbr:List_of_Boolean_algebra_topics dbr:Wim_Blok dbr:Algebraic_semantics_(mathematical_logic) dbr:Modal_algebra dbr:Monadic_Boolean_algebra dbr:Topological_Boolean_algebra dbr:Lewis_algebra dbr:Generalized_topological_space dbr:Generalized_topology dbr:Closure_algebra dbr:S4_algebra dbr:Topo-boolean_algebra dbr:Topomorphism
is dbp:notableIdeas of	dbr:C._I._Lewis
is foaf:primaryTopic of	wikipedia-en:Interior_algebra