Results 41 to 50 of about 3,079 (232)
Some Properties of Complete Boolean Algebras [PDF]
Sahand Communications in Mathematical Analysis, 2021 The main result of this paper is a characterization of the strongly algebraically closed algebras in the lattice of all real-valued continuous functions and the equivalence classes of $\lambda$-measurable.
Ali Molkhasi
doaj +1 more source
Some Types of Filters in Equality Algebras [PDF]
Categories and General Algebraic Structures with Applications, 2017 Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce some types of filters such as (positive) implicative, fantastic, Boolean, and prime filters in equality algebras and we ...
Rajabali Borzooei +2 more
doaj
Filters, Ideals and Congruences on Double Boolean Algebras
, 2021 Double Boolean algebras (dBas) are algebras D––:=(D;⊓, ⊔,¬,┘,⊥,⊤) of type (2, 2, 1, 1, 0, 0), introduced by R. Wille to capture the equational theory of the algebra of protoconcepts. Boolean algebras form a subclass of dBas. Our goal is an algebraic
Alomo Temgoua, Etienne Romuald +1 more
core
Playful Boolean algebras [PDF]
Transactions of the American Mathematical Society, 1986 We show that for an atomless complete Boolean algebra B \mathcal {B} of density ≤ 2 ℵ 0 \leq {2^{{\aleph _0}}} , the Banach-Mazur, the split ...
openaire +2 more sources
PSEUDO ALGEBRAS BOOL APPLIED BL-ALGEBRAS [PDF]
Fiabilitate şi Durabilitate, 2013 In this article we study Boolean algebras in terms of Hilbert algebras and deductive ...
Olimpia-Mioara PECINGINA +1 more
doaj
Monoids with tests and the algebra of possibly non-halting programs
, 2015 We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson +3 more
core +1 more source
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
International Journal of Computational Intelligence Systems, 2019 This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras.
Wei Wang, Pengxi Yang, Yang Xu
doaj +1 more source
Israel Journal of Mathematics, 1976 A generically embedded Boolean algebra is studied. Several results about infinite complete Boolean algebras are shown to be independent of ZF.
openaire +1 more source
On Boolean reliability algebra
CoRR, 2023 In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the reliability algebra is a Boolean algebra.
Branislav R. Boricic +2 more
openaire +2 more sources
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
Advanced Intelligent Systems, EarlyView.To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
wiley +1 more source