About: De Morgan algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

System of logic lacking the excluded middle law

Property	Value
dbo:description	system of logic lacking the excluded middle law (en)
dbo:wikiPageExternalLink	https://www.ams.org/journals/tran/1958-087-02/S0002-9947-1958-0095135-X/S0002-9947-1958-0095135-X.pdf
dbo:wikiPageWikiLink	dbr:Grigore_Moisil dbr:Lwów–Warsaw_school dbr:Involution_(mathematics) dbc:Algebra dbc:Lattice_theory dbr:Lattice_(order) dbr:Pseudocomplement dbr:Stone_algebra dbr:Helena_Rasiowa dbr:Law_of_noncontradiction dbr:Distributive_lattice dbr:Kleene_algebra dbr:Automorphism dbr:Mathematics dbr:Boolean_algebra_(structure) dbc:Ockham_algebras dbr:Regular_expression dbr:Three-valued_logic dbr:Augustus_De_Morgan dbr:Ordinal_numbers dbr:Stephen_Cole_Kleene dbr:Fuzzy_logic dbc:Algebraic_logic dbr:De_Morgan's_laws dbr:Semilattice dbr:Antonio_Monteiro_(mathematician) dbr:J._Michael_Dunn dbr:Greatest_element dbr:Lattice-ordered_group dbr:Law_of_the_excluded_middle dbr:Łukasiewicz_algebra dbr:John_Arnold_Kalman dbr:Post_algebra dbr:Orthocomplemented_lattice dbr:Ockham_algebras
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Lattice_theory dbc:Ockham_algebras dbc:Algebraic_logic
gold:hypernym	dbr:Structure
rdfs:label	De Morgan algebra (en) Algèbre de De Morgan (fr) Álgebra de De Morgan (pt)
owl:sameAs	freebase:De Morgan algebra yago-res:De Morgan algebra wikidata:De Morgan algebra dbpedia-fr:De Morgan algebra dbpedia-pt:De Morgan algebra dbpedia-global:De Morgan algebra dbr:De Morgan algebra
prov:wasDerivedFrom	wikipedia-en:De_Morgan_algebra?oldid=1286861845&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:De_Morgan_algebra
is dbo:knownFor of	dbr:Augustus_De_Morgan
is dbo:wikiPageRedirects of	dbr:Kleene_algebra_(with_involution) dbr:Kleene_algebra_(with_involution) dbr:De_morgan_algebra dbr:Distributive_i-lattice dbr:Quasi-boolean_algebra
is dbo:wikiPageWikiLink of	dbr:Grigore_Moisil dbr:Stone_algebra dbr:Fuzzy_set_operations dbr:Ockham_algebra dbr:Boolean_algebra_(structure) dbr:Relevance_logic dbr:Augustus_De_Morgan dbr:List_of_order_theory_topics dbr:List_of_Boolean_algebra_topics dbr:Kleene_algebra_(with_involution) dbr:Łukasiewicz–Moisil_algebra dbr:De_morgan_algebra dbr:Distributive_i-lattice dbr:Quasi-boolean_algebra
is dbp:knownFor of	dbr:Augustus_De_Morgan
is rdfs:seeAlso of	dbr:Complemented_lattice dbr:Three-valued_logic
is foaf:primaryTopic of	wikipedia-en:De_Morgan_algebra