About: Boolean algebra (structure)

Property	Value
dbo:description	מבנה אלגברי (iw) 代数结构 (zh) typ struktury algebraiczno-porządkowej; odmiana kraty (pl) jenis struktur aljabar yang menangkap sifat penting dari operasi himpunan dan operasi logika (in) lattice that models the classical propositional logic (en) непустое множество A с двумя бинарными операциями: конъюнкцией и дизъюнкцией (ru) komplementa distribueca latiso (eo) matematikai struktúra (hu) distributivní komplementární svaz modelující klasickou výrokovou logiku (cs) anneau unitaire (commutatif) dont tous les éléments sont idempotents, structure algébrique utilisée en logique combinatoire (fr) 고전 명제 논리의 모형을 이루는 격자 (ko)
dbo:thumbnail	wiki-commons:Special:FilePath/Hasse_diagram_of_powerset_of_3.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/handbookofboolea0000unse https://archive.org/details/logicasalgebra0000halm https://archive.org/details/schaumsoutlineof00mend https://www.researchgate.net/publication/223327412 https://zenodo.org/record/1431563 http://demonstrations.wolfram.com/BooleanAlgebra/ http://www.cs.unm.edu/~mccune/papers/robbins/ https://www.ams.org/journals/tran/1933-035-01/S0002-9947-1933-1501684-X/S0002-9947-1933-1501684-X.pdf https://books.google.com/books%3Fid=0fxW2KiyxWwC&pg=PA21 https://books.google.com/books%3Fid=JlXSlpmlSv4C&pg=PA73%23v=onepage&q&f=false https://books.google.com/books%3Fid=VESm0MJOiDQC&pg=PA81 http://plato.stanford.edu/entries/boolalg-math/ http://www.thoralf.uwaterloo.ca/htdocs/ualg.html http://projecteuclid.org/euclid.chmm/1263316509
dbo:wikiPageWikiLink	dbr:Prime_ideal dbr:Garrett_Birkhoff dbr:Karnaugh_map dbr:Category_theory dbr:Class_(set_theory) dbr:Oxford_University_Press dbr:Consensus_theorem dbr:Herbert_Robbins dbr:Ultrafilter dbc:Boolean_algebra dbr:Field_of_sets dbr:Function_composition dbr:Dana_Scott dbr:Divisor dbr:Square-free_integer dbr:Bounded_lattice dbr:Argonne_National_Laboratory dbr:Marshall_H._Stone dbr:Function_(mathematics) dbr:Voltage dbr:Set_(mathematics) dbr:Topology dbr:Binary_operation dbr:Jean-Pierre_Jouannaud dbr:Two-element_Boolean_algebra dbr:Clopen_set dbr:Identity_function dbr:Abstract_algebra dbr:Ring_(mathematics) dbr:Automated_theorem_proving dbr:Unification_(computer_science) dbr:Homomorphism dbr:Propositional_calculus dbr:Propositional_logic dbr:Truth_table dbr:Exclusive_or dbr:Boolean_prime_ideal_theorem dbr:Heyting_algebra dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Abstract_rewriting_system dbr:Dover_Publications dbr:Distributive_lattice dbr:Boolean_ring dbr:Independence_(mathematical_logic) dbr:Ernst_Schröder_(mathematician) dbr:Greatest_common_divisor dbr:Least_common_multiple dbr:Absorption_law dbr:Word_problem_(mathematics) dbr:Logic dbr:Logical_conjunction dbr:Zermelo–Fraenkel_set_theory dbr:Maximal_ideal dbr:Quantum_logic dbr:Free_Boolean_algebra dbr:Quine–McCluskey_algorithm dbr:Hypercube_graph dbr:Lindenbaum–Tarski_algebra dbr:Symmetric_difference dbr:Mathematical_Association_of_America dbc:Ockham_algebras dbr:Bit dbr:Idempotence dbr:Springer_Science+Business_Media dbr:Forcing_(mathematics) dbr:William_McCune dbr:Axiom dbc:Algebraic_structures dbr:Complemented_lattice dbr:Sir_William_Hamilton,_9th_Baronet dbr:Duality_(order_theory) dbr:Charles_Sanders_Peirce dbr:De_Morgan_algebra dbr:Double_negation dbr:Hilbert_space dbr:Identity_element dbr:Truth_value dbr:Venn_diagram dbr:Alfred_Tarski dbr:Algebraic_structure dbr:Algebraic_system dbr:Augustus_De_Morgan dbr:Power_set dbr:Wolfram_Demonstrations_Project dbr:Minimal_axioms_for_Boolean_algebra dbr:Electrical_engineering dbr:George_Boole dbr:Mathematical_logic dbr:Unary_operation dbr:Laws_of_Form dbr:Logical_graph dbr:Fréchet_filter dbr:Transactions_of_the_American_Mathematical_Society dbr:Undergraduate_Texts_in_Mathematics dbr:Elsevier dbr:Partial_order dbr:Empty_set dbr:Logical_equivalence dbr:Logical_matrix dbr:Robbins_conjecture dbr:Boolean_logic dbr:De_Morgan's_laws dbr:Eric_W._Weisstein dbr:Logic_gate dbr:Alfred_North_Whitehead dbr:Bijection dbr:Tuple dbr:Power_of_two dbr:Boolean_domain dbr:IEEE_1164 dbr:List_of_Boolean_algebra_topics dbr:The_Laws_of_Thought dbr:Compact_space dbr:Natural_number dbr:Axiom_of_choice dbr:Hausdorff_space dbr:Boolean_function dbr:Semilattice dbr:Stanford_Encyclopedia_of_Philosophy dbr:Ideal_(order_theory) dbr:Logical_disjunction dbr:Complete_Boolean_algebra dbr:Meet_(mathematics) dbr:2-valued_morphism dbr:Equational_prover dbr:Kleene_algebra_(with_involution) dbr:Conditional_event_algebra dbr:Boolean-valued_model dbr:Associativity dbr:Infimum dbr:Divides dbr:Duality_principle_(Boolean_algebra) dbr:Algebra_of_sets dbr:Axiomatic_set_theory dbr:Distributivity dbr:Paul_Cohen_(mathematician) dbr:Boolean-valued_function dbr:Supremum dbr:A._N._Whitehead dbr:Springer_Verlag dbr:Marshall_Stone dbr:Digital_circuit dbr:Brute_force_search dbr:Linearly_ordered dbr:Edward_V._Huntington dbr:Consistent dbr:McGraw-Hill dbr:Cofinite dbr:File:Lattice_T_30.svg dbr:Finitary_boolean_function dbr:Finite–cofinite_algebra dbr:De_Morgan's_Law dbr:Orthocomplemented_lattice dbr:Canonical_form_(Boolean_algebra) dbr:Full_subcategory dbr:IEEE_1364 dbr:William_Jevons dbr:Unary_functional_symbol dbr:Central_idempotent dbr:Commutativity dbr:File:Hasse_diagram_of_powerset_of_3.svg dbr:Ring_(algebra) dbr:Ring_ideal dbr:Totally_disconnected
dbp:id	p/b016920 (en)
dbp:title	Boolean algebra (en) Boolean Algebra (en)
dbp:urlname	BooleanAlgebra (en)
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Cite_book dbt:Main dbt:Reflist dbt:Math dbt:= dbt:Clear dbt:Cite_journal dbt:More_footnotes_needed dbt:Sfn dbt:Algebraic_structures dbt:Citation dbt:Use_dmy_dates dbt:Var dbt:ISBN dbt:Div_col dbt:MathWorld dbt:Citation_needed dbt:For-multi dbt:Mvar dbt:Olist dbt:Springer dbt:Refn dbt:External_links dbt:Short_description dbt:Order_theory
dct:subject	dbc:Boolean_algebra dbc:Ockham_algebras dbc:Algebraic_structures
gold:hypernym	dbr:Lattice
rdfs:label	Boolean algebra (structure) (en) Aljabar Boolean (struktur) (in) Algèbre de Boole (structure) (fr) ブール代数 (ja) 불 대수 (ko) Álgebra booliana (estrutura) (pt) Булева алгебра (ru) Булева алгебра (структура) (uk) 布尔代数 (zh)
owl:sameAs	freebase:Boolean algebra (structure) yago-res:Boolean algebra (structure) wikidata:Boolean algebra (structure) dbpedia-fr:Boolean algebra (structure) dbpedia-zh:Boolean algebra (structure) dbpedia-ja:Boolean algebra (structure) dbpedia-pt:Boolean algebra (structure) dbpedia-he:Boolean algebra (structure) dbpedia-ro:Boolean algebra (structure) dbpedia-hu:Boolean algebra (structure) dbpedia-ru:Boolean algebra (structure) dbpedia-ko:Boolean algebra (structure) dbpedia-id:Boolean algebra (structure) dbpedia-ba:Boolean algebra (structure) dbpedia-cv:Boolean algebra (structure) dbpedia-ht:Boolean algebra (structure) dbpedia-uk:Boolean algebra (structure) dbpedia-global:Boolean algebra (structure)
prov:wasDerivedFrom	wikipedia-en:Boolean_algebra_(structure)?oldid=1246131465&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Hasse_diagram_of_powerset_of_3.svg wiki-commons:Special:FilePath/Lattice_T_30.svg
foaf:isPrimaryTopicOf	wikipedia-en:Boolean_algebra_(structure)
is dbo:academicDiscipline of	dbr:Marshall_H._Stone
is dbo:knownFor of	dbr:Judith_Roitman
is dbo:wikiPageDisambiguates of	dbr:Boolean dbr:Algebra_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Axiomatization_of_Boolean_algebras dbr:Boolean_algebra_(history) dbr:Boolean_algebras dbr:Boolean_homomorphism dbr:Boolean_hypercube dbr:Boolean_lattice dbr:Generalized_Boolean_algebra dbr:Generalized_Boolean_lattice dbr:Generalized_Boolean_semilattice dbr:Degenerate_Boolean_algebra
is dbo:wikiPageWikiLink of	dbr:Claude_Chevalley dbr:List_of_commutative_algebra_topics dbr:Residuated_lattice dbr:Relational_quantum_mechanics dbr:Allen's_interval_algebra dbr:Classical_logic dbr:Involution_(mathematics) dbr:Herbert_Robbins dbr:Roman_Sikorski dbr:Ultrafilter dbr:Algebra dbr:Deductive_lambda_calculus dbr:Field_of_sets dbr:Square-free_integer dbr:Lattice_(order) dbr:Pseudocomplement dbr:New_Foundations dbr:Marshall_H._Stone dbr:Formal_concept_analysis dbr:Majority_function dbr:Cohen_algebra dbr:Topology dbr:Topological_property dbr:Alexandrov_topology dbr:Stone_algebra dbr:Stone_duality dbr:Stone_functor dbr:Two-element_Boolean_algebra dbr:Clopen_set dbr:Leon_Henkin dbr:Discrete_Laplace_operator dbr:Algebraic_logic dbr:Propositional_calculus dbr:Boolean_prime_ideal_theorem dbr:Heyting_algebra dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Distributive_lattice dbr:Functional_completeness dbr:Boolean_ring dbr:Kleene_algebra dbr:Covering_relation dbr:O-minimal_theory dbr:Post's_lattice dbr:Mereology dbr:Modus_ponens dbr:Naive_set_theory dbr:Boolean dbr:Absorption_law dbr:Modal_logic dbr:Algebra_(disambiguation) dbr:Semiring dbr:Galois_connection dbr:Equivalence_of_categories dbr:Quantum_logic dbr:Free_Boolean_algebra dbr:Cycle_space dbr:Cylindric_algebra dbr:Isomorphism_of_categories dbr:Martin's_axiom dbr:Order_topology dbr:Hypercube_graph dbr:Jónsson–Tarski_algebra dbr:Lindenbaum–Tarski_algebra dbr:Relation_algebra dbr:Symmetric_difference dbr:Gambling_mathematics dbr:Heyting_arithmetic dbr:Glossary_of_order_theory dbr:Index_of_electrical_engineering_articles dbr:Index_of_logic_articles dbr:Intuitionistic_logic dbr:Subset dbr:Forcing_(mathematics) dbr:Abstract_algebraic_logic dbr:Action_algebra dbr:MV-algebra dbr:Measure_algebra dbr:Collapsing_algebra dbr:Complemented_lattice dbr:Binary_relation dbr:Duality_(order_theory) dbr:Network_analysis_(electrical_circuits) dbr:De_Morgan_algebra dbr:Distributive_property dbr:Identity_element dbr:Logical_connective dbr:Negation dbr:Three-valued_logic dbr:Truth_value dbr:Algebraic_structure dbr:Monoid dbr:Power_set dbr:Axiomatization_of_Boolean_algebras dbr:Boolean_algebra_(history) dbr:Boolean_algebras dbr:Boolean_homomorphism dbr:Boolean_hypercube dbr:Boolean_lattice dbr:Boolean_satisfiability_problem dbr:George_Boole dbr:Mathematical_logic dbr:Model_theory dbr:Laws_of_Form dbr:Extremally_disconnected_space dbr:History_of_topos_theory dbr:Nakamura_number dbr:Constantin_Carathéodory dbr:Sheffer_stroke dbr:Fotini_Markopoulou-Kalamara dbr:Distributivity_(order_theory) dbr:List_of_mathematical_logic_topics dbr:List_of_order_theory_topics dbr:Robbins_algebra dbr:Subanalytic_set dbr:Subdirectly_irreducible_algebra dbr:Simple_theorems_in_the_algebra_of_sets dbr:Cofiniteness dbr:Boolean_algebra dbr:Abelian_group dbr:Union_(set_theory) dbr:Tychonoff's_theorem dbr:Characteristica_universalis dbr:List_of_Boolean_algebra_topics dbr:List_of_PSPACE-complete_problems dbr:Nested_word dbr:Opposite_category dbr:Image_(mathematics) dbr:Dedekind–MacNeille_completion dbr:Leibniz_operator dbr:Paul_Halmos dbr:Type_(model_theory) dbr:Ideal_(order_theory) dbr:Stone_space dbr:Stone–Čech_compactification dbr:Union-closed_sets_conjecture dbr:Algebraic_semantics_(mathematical_logic) dbr:Complete_Boolean_algebra dbr:Completeness_(order_theory) dbr:Map_of_lattices dbr:Whitehead's_point-free_geometry dbr:*-autonomous_category dbr:2-valued_morphism dbr:A._H._Lightstone dbr:GF(2) dbr:Equational_prover dbr:Order_theory dbr:Conditional_event_algebra dbr:Congruence_lattice_problem dbr:Converse_nonimplication dbr:Boolean-valued dbr:Boolean_algebras_canonically_defined dbr:Derivative_algebra_(abstract_algebra) dbr:Ideal_(set_theory) dbr:Refinement_monoid dbr:Stable_theory dbr:Antimatroid dbr:BCK_algebra dbr:Back-and-forth_method dbr:General_frame dbr:Judith_Roitman dbr:Modal_algebra dbr:Monadic_Boolean_algebra dbr:Monoidal_t-norm_logic dbr:Cantor_algebra dbr:Suslin_algebra dbr:Łukasiewicz–Moisil_algebra dbr:Duality_theory_for_distributive_lattices dbr:Representation_theorem dbr:Residuated_Boolean_algebra dbr:Residuated_mapping dbr:Homogeneous_relation dbr:Outline_of_algebraic_structures dbr:Outline_of_logic dbr:Topological_Boolean_algebra dbr:Algebra_of_sets dbr:Interior_algebra dbr:Inclusion_(Boolean_algebra) dbr:Boolean_algebra_(disambiguation) dbr:Boolean_matrix dbr:List_of_set_identities_and_relations dbr:Quantum_Reality dbr:NIP_(model_theory) dbr:Generalized_Boolean_algebra dbr:Generalized_Boolean_lattice dbr:Generalized_Boolean_semilattice dbr:Degenerate_Boolean_algebra dbr:Goodman-Nguyen-Van_Fraassen_algebra
is dbp:fields of	dbr:Marshall_H._Stone
is dbp:knownFor of	dbr:Judith_Roitman
is foaf:primaryTopic of	wikipedia-en:Boolean_algebra_(structure)