Results 121 to 130 of about 716,684 (170)
Some of the next articles are maybe not open access.
Canadian Journal of Mathematics, 1971
A Boolean algebra B is a retract of an algebra A if there exist homomorphisms ƒ: B → A and g: A → B such that gƒ is the identity map B. Some important properties of retracts of Boolean algebras are stated in [3, §§ 30, 31, 32]. If A and B are a-complete, and A is α-generated by B, Dwinger [1, p.
openaire +1 more source
A Boolean algebra B is a retract of an algebra A if there exist homomorphisms ƒ: B → A and g: A → B such that gƒ is the identity map B. Some important properties of retracts of Boolean algebras are stated in [3, §§ 30, 31, 32]. If A and B are a-complete, and A is α-generated by B, Dwinger [1, p.
openaire +1 more source
A refinement of Stone duality to skew Boolean algebras
, 2011We establish two theorems that refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem, we prove that the category of left-handed skew Boolean algebras whose morphisms are proper ...
G. Kudryavtseva
semanticscholar +1 more source
2017
This chapter discusses how Boole cast logic into algebraic form. Boole was interested in symbolic analysis years before he wrote his Laws of Thought. In fact, others before him—in particular, the German mathematician Gottfried Wilhelm Leibniz (1646–1716)—had pursued a similar goal of reducing logic to algebra, but it was Boole who finally succeeded ...
openaire +2 more sources
This chapter discusses how Boole cast logic into algebraic form. Boole was interested in symbolic analysis years before he wrote his Laws of Thought. In fact, others before him—in particular, the German mathematician Gottfried Wilhelm Leibniz (1646–1716)—had pursued a similar goal of reducing logic to algebra, but it was Boole who finally succeeded ...
openaire +2 more sources
Categoricity for Primitive Recursive and Polynomial Boolean Algebras
Algebra i logika, 2018P. Alaev
semanticscholar +1 more source
A Weakening of Alpha Graphs: Quasi-Boolean Algebras
Diagrams, 2018Minghui Ma, A. Pietarinen
semanticscholar +1 more source
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
Journal of Logic and Computation, 2017S. Aguzzoli, T. Flaminio, S. Ugolini
semanticscholar +1 more source
Degrees of Autostability Relative to Strong Constructivizations for Boolean Algebras
Algebra i logika, 2016N. Bazhenov, N. Bazhenov
semanticscholar +1 more source
The index set of Boolean algebras autostable relative to strong constructivizations
, 2015Sergey Goncharov +2 more
semanticscholar +1 more source
The connection of skew Boolean algebras and discriminator varieties to Church algebras
, 2015Karin Cvetko-Vah, A. Salibra
semanticscholar +1 more source