Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Boolean algebras canonically defined
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
A technical treatment of Boolean algebras
Property
Value
dbo:
description
A technical treatment of Boolean algebras
(en)
dbo:
wikiPageExternalLink
http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html
dbo:
wikiPageWikiLink
dbr
:Axiom_schema
dbr
:Axiomatic_system
dbr
:Axiomatization
dbr
:Direct_product
dbr
:Interpretation_(model_theory)
dbr
:Index_set
dbr
:Georg_Cantor
dbr
:Ultrafilter
dbr
:Monoidal_category
dbr
:Digital_electronics
dbc
:Boolean_algebra
dbr
:Complement_(set_theory)
dbr
:Field_of_sets
dbr
:Lattice_(order)
dbr
:Generator_(mathematics)
dbr
:Variety_(universal_algebra)
dbr
:Cantor's_diagonal_argument
dbr
:Filter_(mathematics)
dbr
:Cartesian_closed_category
dbr
:Integer
dbr
:Set_theory
dbr
:Addition
dbr
:First-order_logic
dbr
:Set_(mathematics)
dbr
:Vector_space
dbr
:Binary_operation
dbr
:Cardinality
dbr
:Subalgebra
dbr
:Clopen_set
dbr
:Abstract_algebra
dbr
:Group_(mathematics)
dbr
:Gate_array
dbr
:Decidability_(logic)
dbr
:Homomorphism
dbr
:Propositional_calculus
dbr
:Truth_table
dbr
:Satisfiability
dbr
:Topos
dbr
:Group_theory
dbr
:Distributive_lattice
dbr
:Functional_completeness
dbr
:Strict_function
dbr
:Boolean_ring
dbr
:Operation_(mathematics)
dbr
:Monotonic_function
dbr
:Two's_complement
dbr
:Free_Boolean_algebra
dbr
:Free_object
dbr
:Arity
dbr
:Lindenbaum–Tarski_algebra
dbr
:Mathematical_Association_of_America
dbr
:Representation_(mathematics)
dbr
:Boolean_algebra_(structure)
dbr
:Alan_Turing
dbr
:Algorithm
dbr
:Isomorphism
dbr
:Discrete_space
dbr
:Topological_space
dbr
:Closed_monoidal_category
dbr
:Complemented_lattice
dbr
:Atom_(order_theory)
dbr
:Multiplication
dbr
:Syntax
dbr
:Linear_algebra
dbr
:Charles_Sanders_Peirce
dbr
:Intersection_(set_theory)
dbr
:Truth_value
dbr
:Alfred_Tarski
dbr
:Algebraic_structure
dbr
:Power_set
dbr
:Sigma-algebra
dbr
:George_Boole
dbr
:Category_(mathematics)
dbr
:Permutation
dbr
:Mathematical_logic
dbr
:Unary_operation
dbr
:Undergraduate_Texts_in_Mathematics
dbr
:Symmetric_group
dbr
:Partially_ordered_set
dbr
:Universal_algebra
dbr
:Sheffer_stroke
dbr
:Robbins_algebra
dbr
:Boolean_algebra
dbr
:Boolean_logic
dbr
:De_Morgan's_laws
dbr
:Union_(set_theory)
dbr
:Nonstandard_analysis
dbr
:Boolean_domain
dbr
:Finitary
dbr
:List_of_Boolean_algebra_topics
dbr
:Affine_transformation
dbr
:Compact_space
dbr
:Indexed_family
dbr
:Hausdorff_space
dbr
:Paul_Halmos
dbr
:Order_(group_theory)
dbr
:Boolean_function
dbr
:Totally_disconnected_space
dbr
:Foundations_of_mathematics
dbr
:Ideal_(order_theory)
dbr
:Stone_space
dbr
:Alfred_W._Hales
dbr
:Complete_Boolean_algebra
dbr
:Join_(mathematics)
dbr
:Meet_(mathematics)
dbr
:Zhegalkin_polynomial
dbr
:Boolean-valued_model
dbr
:Boolean_algebras_canonically_defined
dbr
:Infimum
dbr
:Commutative
dbr
:Digital_logic
dbr
:Algebra_of_sets
dbr
:Emil_Post
dbr
:Equational_theory
dbr
:Boolean-valued_function
dbr
:Supremum
dbr
:Iff
dbr
:Marshall_Stone
dbr
:Digital_circuit
dbr
:Isomorphic
dbr
:Ivan_Ivanovich_Zhegalkin
dbr
:Wiktionary:zeroary
dbr
:Filtered_colimit
dbr
:Finitary_boolean_function
dbr
:Binary_digit
dbr
:Birkhoff's_HSP_theorem
dbr
:Bit_vector
dbr
:Uncountable
dbr
:Gödel_number
dbr
:Compact_Hausdorff_space
dbr
:Complement_(order_theory)
dbr
:Countably_infinite
dbr
:Median_operator
dbr
:Associative
dbr
:Switching_function
dbr
:Model_(model_theory)
dbr
:Post's_class
dbr
:Profinite_set
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Math
dbt
:Cite_journal
dbt
:ISBN
dbt
:Div_col
dbt
:Div_col_end
dbt
:Technical
dbt
:Short_description
dct:
subject
dbc
:Boolean_algebra
rdfs:
label
Boolean algebras canonically defined
(en)
owl:
sameAs
freebase
:Boolean algebras canonically defined
wikidata
:Boolean algebras canonically defined
dbpedia-global
:Boolean algebras canonically defined
prov:
wasDerivedFrom
wikipedia-en
:Boolean_algebras_canonically_defined?oldid=1296156923&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Boolean_algebras_canonically_defined
is
dbo:
wikiPageRedirects
of
dbr
:Yet_another_perspective_on_Boolean_algebras
dbr
:Power_set_algebra
is
dbo:
wikiPageWikiLink
of
dbr
:Majority_function
dbr
:Decidability_(logic)
dbr
:Birkhoff's_representation_theorem
dbr
:Boolean_algebra
dbr
:List_of_Boolean_algebra_topics
dbr
:Boolean_algebras_canonically_defined
dbr
:Outline_of_logic
dbr
:Yet_another_perspective_on_Boolean_algebras
dbr
:Power_set_algebra
is
foaf:
primaryTopic
of
wikipedia-en
:Boolean_algebras_canonically_defined
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International