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	http://www.thoralf.uwaterloo.ca/htdocs/ualg.html http://projecteuclid.org/euclid.chmm/1263316509 https://www.ams.org/journals/tran/1933-035-01/S0002-9947-1933-1501684-X/S0002-9947-1933-1501684-X.pdf http://demonstrations.wolfram.com/BooleanAlgebra/ http://plato.stanford.edu/entries/boolalg-math/ http://www.cs.unm.edu/~mccune/papers/robbins/ https://archive.org/details/handbookofboolea0000unse https://archive.org/details/logicasalgebra0000halm https://archive.org/details/schaumsoutlineof00mend 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 https://www.researchgate.net/publication/223327412 https://zenodo.org/record/1431563
dbo:wikiPageWikiLink	dbr:Canonical_form_(Boolean_algebra) dbr:Edward_V._Huntington dbr:Finitary_boolean_function dbr:Finite–cofinite_algebra dbr:IEEE_1164 dbr:List_of_Boolean_algebra_topics dbr:Bit dbr:Hausdorff_space dbr:Heyting_algebra dbr:Hypercube_graph dbr:Mathematical_Association_of_America dbr:Category_theory dbr:Garrett_Birkhoff dbr:Quantum_logic dbr:Field_of_sets dbr:Logical_disjunction dbr:Logical_matrix dbr:Word_problem_(mathematics) dbr:Absorption_law dbr:Ideal_(order_theory) dbr:Algebra_of_sets dbr:Abstract_algebra dbr:Function_(mathematics) dbr:Logic dbr:Mathematical_logic dbr:Topology dbr:Alfred_North_Whitehead dbr:Alfred_Tarski dbr:Dover_Publications dbr:George_Boole dbr:Greatest_common_divisor dbr:Clopen_set dbr:Semilattice dbr:Equational_prover dbr:Exclusive_or dbr:Axiom dbr:Electrical_engineering dbr:Sir_William_Hamilton,_9th_Baronet dbr:Automated_theorem_proving dbr:Double_negation dbr:Elsevier dbr:Fréchet_filter dbr:Natural_number dbr:Oxford_University_Press dbr:Propositional_calculus dbr:Voltage dbr:Charles_Sanders_Peirce dbr:Dana_Scott dbr:Divisor dbr:Square-free_integer dbr:Zermelo–Fraenkel_set_theory dbr:Binary_operation dbr:Ring_(mathematics) dbr:Function_composition dbr:Prime_ideal dbr:Algebraic_structure dbr:Class_(set_theory) dbr:Logical_equivalence dbr:Supremum dbr:Complemented_lattice dbr:Springer_Science+Business_Media dbr:Laws_of_Form dbr:Independence_(mathematical_logic) dbr:Boolean_prime_ideal_theorem dbr:Hilbert_space dbr:Set_(mathematics) dbr:Axiom_of_choice dbr:Bijection dbr:De_Morgan's_laws dbr:Empty_set dbr:Truth_table dbr:Herbert_Robbins dbr:Marshall_H._Stone dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Idempotence dbr:Boolean_function dbr:Consensus_theorem dbr:Abstract_rewriting_system dbr:Jean-Pierre_Jouannaud dbr:Forcing_(mathematics) dbr:Undergraduate_Texts_in_Mathematics dbr:Duality_(order_theory) dbr:Argonne_National_Laboratory dbr:Karnaugh_map dbr:Least_common_multiple dbr:Logic_gate dbr:Quine–McCluskey_algorithm dbr:Augustus_De_Morgan dbr:De_Morgan_algebra dbr:Homomorphism dbr:Lindenbaum–Tarski_algebra dbr:Power_set dbr:Stanford_Encyclopedia_of_Philosophy dbr:Power_of_two dbr:Infimum dbr:Maximal_ideal dbr:William_McCune dbr:Ernst_Schröder_(mathematician) dbr:Logical_conjunction dbr:Venn_diagram dbr:Tuple dbr:Propositional_logic dbr:Partial_order dbc:Boolean_algebra dbc:Algebraic_structures dbr:Boolean_ring dbr:Wolfram_Demonstrations_Project dbr:Complete_Boolean_algebra dbr:Unification_(computer_science) dbr:Eric_W._Weisstein dbr:Identity_function dbr:Identity_element dbr:Truth_value dbr:Distributive_lattice dbr:Transactions_of_the_American_Mathematical_Society dbr:Unary_operation dbr:Compact_space dbr:Free_Boolean_algebra dbr:Robbins_conjecture dbr:Symmetric_difference dbr:Ultrafilter dbr:Boolean-valued_model dbr:Boolean_domain dbr:Minimal_axioms_for_Boolean_algebra dbr:Logical_graph dbr:The_Laws_of_Thought dbr:Two-element_Boolean_algebra dbr:Conditional_event_algebra dbc:Ockham_algebras dbr:Meet_(mathematics) dbr:2-valued_morphism dbr:Algebraic_system dbr:Bounded_lattice dbr:Divides dbr:Duality_principle_(Boolean_algebra) dbr:Boolean_logic dbr:Boolean-valued_function dbr:A._N._Whitehead dbr:Axiomatic_set_theory dbr:Consistent dbr:Distributivity dbr:McGraw-Hill dbr:Springer_Verlag dbr:Paul_Cohen_(mathematician) dbr:Associativity dbr:Digital_circuit dbr:Marshall_Stone dbr:Kleene_algebra_(with_involution) dbr:Cofinite dbr:Central_idempotent dbr:William_Jevons dbr:Brute_force_search dbr:De_Morgan's_Law dbr:IEEE_1364 dbr:Full_subcategory dbr:Linearly_ordered dbr:Commutativity dbr:Orthocomplemented_lattice dbr:Ring_(algebra) dbr:Ring_ideal dbr:Unary_functional_symbol dbr:Totally_disconnected dbr:File:Hasse_diagram_of_powerset_of_3.svg dbr:File:Lattice_T_30.svg
dbp:id	p/b016920 (en)
dbp:title	Boolean algebra (en) Boolean Algebra (en)
dbp:urlname	BooleanAlgebra (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Algebraic_structures dbt:= dbt:Citation dbt:Citation_needed dbt:Cite_journal dbt:Clear dbt:Div_col dbt:External_links dbt:For-multi dbt:ISBN dbt:Main dbt:Math dbt:MathWorld dbt:More_footnotes_needed dbt:Mset dbt:Mvar dbt:Olist dbt:Reflist dbt:Refn dbt:Sfn dbt:Short_description dbt:Springer dbt:Use_dmy_dates dbt:Var dbt:Order_theory
dct:subject	dbc:Boolean_algebra dbc:Algebraic_structures dbc:Ockham_algebras
gold:hypernym	dbr:Lattice
rdfs:label	Boolean algebra (structure) (en) Algèbre de Boole (structure) (fr) Aljabar Boolean (struktur) (in) 불 대수 (ko) ブール代数 (ja) Á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-he:Boolean algebra (structure) dbpedia-hu:Boolean algebra (structure) dbpedia-ja:Boolean algebra (structure) dbpedia-pt:Boolean algebra (structure) dbpedia-ro:Boolean algebra (structure) dbpedia-ru:Boolean algebra (structure) dbpedia-zh:Boolean algebra (structure) dbpedia-id:Boolean algebra (structure) dbpedia-ko: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=1307332668&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:Algebra_(disambiguation) dbr:Boolean
is dbo:wikiPageRedirects of	dbr:Axiomatization_of_Boolean_algebras dbr:Degenerate_Boolean_algebra 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
is dbo:wikiPageWikiLink of	dbr:Functional_completeness dbr:Alexandrov_topology dbr:A._H._Lightstone dbr:History_of_topos_theory dbr:Ideal_(set_theory) dbr:List_of_Boolean_algebra_topics dbr:List_of_commutative_algebra_topics dbr:Claude_Chevalley dbr:Heyting_algebra dbr:Heyting_arithmetic dbr:Intuitionistic_logic dbr:Hypercube_graph dbr:Converse_nonimplication dbr:Covering_relation dbr:Map_of_lattices dbr:Union-closed_sets_conjecture dbr:*-autonomous_category dbr:BCK_algebra dbr:Monoidal_t-norm_logic dbr:Constantin_Carathéodory dbr:Lattice_(order) dbr:Model_theory dbr:Quantum_logic dbr:Field_of_sets dbr:Gambling_mathematics dbr:Absorption_law dbr:Ideal_(order_theory) dbr:Opposite_category dbr:Algebra_of_sets dbr:Algebra dbr:Algebraic_logic dbr:Characteristica_universalis dbr:Mathematical_logic dbr:Topology dbr:Mereology dbr:Roman_Sikorski dbr:Abelian_group dbr:Binary_relation dbr:George_Boole dbr:Galois_connection dbr:Clopen_set dbr:Type_(model_theory) dbr:Extremally_disconnected_space dbr:Equational_prover dbr:Residuated_Boolean_algebra dbr:Residuated_mapping dbr:Representation_theorem dbr:Logical_connective dbr:Naive_set_theory dbr:Propositional_calculus dbr:Square-free_integer dbr:Modus_ponens dbr:Boolean_satisfiability_problem dbr:Image_(mathematics) dbr:Algebraic_structure dbr:Formal_concept_analysis dbr:Complemented_lattice dbr:Kleene_algebra dbr:List_of_set_identities_and_relations dbr:Interior_algebra dbr:Laws_of_Form dbr:Cycle_space dbr:Topological_property dbr:Boolean_prime_ideal_theorem dbr:Discrete_Laplace_operator dbr:Subset dbr:Union_(set_theory) dbr:Whitehead's_point-free_geometry dbr:Dedekind–MacNeille_completion dbr:Herbert_Robbins dbr:Marshall_H._Stone dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_duality dbr:Stone_space dbr:Stone–Čech_compactification dbr:Paul_Halmos dbr:Tychonoff's_theorem dbr:Jónsson–Tarski_algebra dbr:Subdirectly_irreducible_algebra dbr:Judith_Roitman dbr:Martin's_axiom dbr:Antimatroid dbr:Sheffer_stroke dbr:Forcing_(mathematics) dbr:Duality_(order_theory) dbr:Boolean_algebra dbr:Leon_Henkin dbr:De_Morgan_algebra dbr:General_frame dbr:Lindenbaum–Tarski_algebra dbr:Modal_logic dbr:Monoid dbr:New_Foundations dbr:Power_set dbr:Relation_algebra dbr:Algebra_(disambiguation) dbr:Duality_theory_for_distributive_lattices dbr:Congruence_lattice_problem dbr:Majority_function dbr:Order_theory dbr:Homogeneous_relation dbr:Back-and-forth_method dbr:Classical_logic dbr:Distributive_property dbr:Negation dbr:Fotini_Markopoulou-Kalamara dbr:Relational_quantum_mechanics dbr:Cofiniteness dbr:Stone_functor dbr:Post's_lattice dbr:Allen's_interval_algebra dbr:MV-algebra dbr:Boolean_ring dbr:Complete_Boolean_algebra dbr:Completeness_(order_theory) dbr:Leibniz_operator dbr:Network_analysis_(electrical_circuits) dbr:Involution_(mathematics) dbr:Identity_element dbr:Three-valued_logic dbr:Truth_value dbr:Distributive_lattice dbr:Quantum_Reality dbr:Order_topology dbr:Semiring dbr:Łukasiewicz–Moisil_algebra dbr:Distributivity_(order_theory) dbr:Free_Boolean_algebra dbr:Equivalence_of_categories dbr:Modal_algebra dbr:Monadic_Boolean_algebra dbr:Symmetric_difference dbr:Ultrafilter dbr:Abstract_algebraic_logic dbr:Algebraic_semantics_(mathematical_logic) dbr:Boolean-valued dbr:Boolean_algebras_canonically_defined dbr:Cylindric_algebra dbr:Derivative_algebra_(abstract_algebra) dbr:GF(2) dbr:List_of_mathematical_logic_topics dbr:List_of_order_theory_topics dbr:Robbins_algebra dbr:Nested_word dbr:Outline_of_algebraic_structures dbr:Outline_of_logic dbr:Index_of_electrical_engineering_articles dbr:Index_of_logic_articles dbr:Isomorphism_of_categories dbr:Refinement_monoid dbr:List_of_PSPACE-complete_problems dbr:Topological_Boolean_algebra dbr:Two-element_Boolean_algebra dbr:Conditional_event_algebra dbr:Nakamura_number dbr:O-minimal_theory dbr:NIP_(model_theory) dbr:Glossary_of_order_theory dbr:Boolean dbr:Measure_algebra dbr:Stable_theory dbr:Stone_algebra dbr:Subanalytic_set dbr:Residuated_lattice dbr:2-valued_morphism dbr:Deductive_lambda_calculus dbr:Simple_theorems_in_the_algebra_of_sets dbr:Cohen_algebra dbr:Inclusion_(Boolean_algebra) dbr:Cantor_algebra dbr:Collapsing_algebra dbr:Pseudocomplement dbr:Suslin_algebra dbr:Boolean_matrix dbr:Action_algebra dbr:Boolean_algebra_(disambiguation) dbr:Axiomatization_of_Boolean_algebras dbr:Degenerate_Boolean_algebra dbr:Goodman-Nguyen-Van_Fraassen_algebra 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
is dbp:fields of	dbr:Marshall_H._Stone
is dbp:knownFor of	dbr:Judith_Roitman
is foaf:primaryTopic of	wikipedia-en:Boolean_algebra_(structure)