About: Monadic Boolean algebra

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

Boolean algebra extended with a unary operation satisfying specific axioms

Property	Value
dbo:description	Boolean algebra extended with a unary operation satisfying specific axioms (en)
dbo:wikiPageWikiLink	dbc:Boolean_algebra dbr:Variety_(universal_algebra) dbr:Signature_(logic) dbr:First-order_logic dbr:Topology dbc:Closure_operators dbr:Clopen_set dbr:Closure_operator dbr:Kuratowski_closure_axioms dbr:Abstract_algebra dbr:Propositional_logic dbr:Modal_logic dbr:Semisimple_algebra dbr:Cylindric_algebra dbr:Lindenbaum–Tarski_algebra dbr:Boolean_algebra_(structure) dbr:Synonym dbr:Duality_(order_theory) dbr:Algebraic_structure dbr:Prefix dbr:Polyadic_algebra dbc:Algebraic_logic dbr:Paul_Halmos dbr:Łukasiewicz–Moisil_algebra dbr:Interior_algebra dbr:Universal_quantifier dbr:Existential_quantifier dbr:Interior_operator dbr:Unary_operator dbr:Closure_algebra dbr:Monadic_(arity) dbr:Monadic_logic
dbp:wikiPageUsesTemplate	dbt:Prime dbt:Math dbt:Logic-stub
dct:subject	dbc:Boolean_algebra dbc:Closure_operators dbc:Algebraic_logic
gold:hypernym	dbr:Structure
rdfs:label	Monadic Boolean algebra (en) Monadyczna algebra Boole’a (pl) 一元布尔代数 (zh)
owl:sameAs	freebase:Monadic Boolean algebra yago-res:Monadic Boolean algebra wikidata:Monadic Boolean algebra dbpedia-zh:Monadic Boolean algebra dbpedia-pl:Monadic Boolean algebra dbpedia-global:Monadic Boolean algebra
prov:wasDerivedFrom	wikipedia-en:Monadic_Boolean_algebra?oldid=1269337614&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Monadic_Boolean_algebra
is dbo:wikiPageRedirects of	dbr:S5_algebra
is dbo:wikiPageWikiLink of	dbr:Algebraic_logic dbr:Cylindric_algebra dbr:List_of_Boolean_algebra_topics dbr:Paul_Halmos dbr:Łukasiewicz–Moisil_algebra dbr:Outline_of_logic dbr:Interior_algebra dbr:S5_algebra
is foaf:primaryTopic of	wikipedia-en:Monadic_Boolean_algebra

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International