A Simultaneous Generalization of Independence and Disjointness in Boolean Algebras [PDF]
We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these algebras, which we call n-independent.
openaire +2 more sources
Algebraic representation of generalized boolean algebras
The main aim of this work is to demonstrate some algebraic description and representations of generalized boolean algebras. The necessary information from the theory of algebraic systems semigroups, semirings, etc. is provided.
Cuzneţov, E.A. +5 more
openaire +1 more source
Process algebra with conditionals in the presence of epsilon
In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on conditions under which preceding actions have been performed.
Bergstra, J. A., Middelburg, C. A.
core +1 more source
On essentially low, canonically well-generated Boolean algebras
AbstractLet B be a superatomic Boolean algebra (BA). The rank of B (rk(B)). is defined to be the Cantor Bendixon rank of the Stone space of B. If a ∈ B − {0}, then the rank of a in B (rk(a)). is defined to be the rank of the Boolean algebra . The rank of 0B is defined to be −1. An element a ∈ B − {0} is a generalized atom , if the last nonzero cardinal
Bonnet, Robert, Rubin, Matatyahu
openaire +3 more sources
Generalized XOR Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics. [PDF]
Burešová D.
europepmc +1 more source
A generalization of Stone’s representation theorem for Boolean algebras
The well-known theorem of M. H. Stone [10] asserts that every Boolean algebra is isomorphic to a field of sets, that is, to a subalgebra of a complete and atomic Boolean algebra. A generalization of Boolean algebras are the Stone lattices. It is my aim to prove a representation theorem for Stone lattices: Every Stone lattice is isomorphic to a ...
openaire +2 more sources
Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]
Rezk EG.
europepmc +1 more source
A generalization of atomic Boolean algebras [PDF]
openaire +3 more sources
Notes on countably generated complete Boolean algebras
Preliminary ...
openaire +2 more sources
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Couceiro M, Duffus D.
europepmc +1 more source

