Results 1 to 10 of about 650,064 (276)
A Boolean algebra for genetic variants. [PDF]
Bioinformatics, 2023 Vis JK +3 more
europepmc +3 more sources
Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras [PDF]
Transactions on Fuzzy Sets and Systems, 2023 This paper develops the notion of fuzzy ideal and generalized fuzzy ideal on double Boolean algebra (dBa). According to Rudolf Wille, a double Boolean algebra $\underline{D}:=(D, \sqcap, \sqcup, \neg, \lrcorner, \bot, \top)$ is an algebra
Fernand Kuiebove Pefireko
doaj +1 more source
MLstruct: principal type inference in a Boolean algebra of structural types
Proc. ACM Program. Lang., 2022 Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and Scala 3. Yet, no language so far has managed to combine these powerful types with principal polymorphic type inference.
L. Parreaux, Chun Yin Chau
semanticscholar +1 more source
Boolean Algebra of Soft Q-Sets in Soft Topological Spaces
Applied Computational Intelligence and Soft Computing, 2022 We define soft Q-sets as soft sets whose soft closure and soft interior are commutative. We show that the soft complement, soft closure, and soft interior of a soft Q-set are all soft Q-sets. We show that a soft subset K of a given soft topological space
S. Al Ghour
semanticscholar +1 more source
Overlap Algebras: a Constructive Look at Complete Boolean Algebras [PDF]
Logical Methods in Computer Science, 2020 The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set.
Francesco Ciraulo, Michele Contente
doaj +1 more source
EPiC Series in Computing, 2013 Using Vaggione's concept of central element in a double pointed algebra, weintroduce the notion of Boolean like variety as a generalisation ofBoolean algebras to an arbitrary similarity type. Appropriately relaxing therequirement that every element be central in any member of the variety, weobtain the more general class of semi-Boolean like varieties ...
Salibra, A +3 more
openaire +3 more sources
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Bulletin of the Section of Logic, 2023 It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements.
Marcelo Esteban Coniglio +1 more
doaj +1 more source
Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2018 A task frequently encountered in digital circuit design is the solution of a two-valued Boolean equation of the form h(X,Y,Z)=1, where h: B_2^(k+m+n)→ B_2 and X,Y, and Z are binary vectors of lengths k, m, and n, representing inputs, intermediary values,
Ali Muhammad Ali Rushdi, Waleed Ahmad
doaj +1 more source
Fuzzy n-fold obstinate ideals in mv -algebras [PDF]
Journal of Hyperstructures, 2019 . In this paper, we introduce the notion of n-fold Boolean ideals of an MV -algebra and consider the quotient algebras induced by n-fold Boolean ideals. Also we prove that I is a n-fold Boolean ideal of an MV -algebra if and only if A/I is a n+1-bounded ...
Fereshteh Forouzesh
doaj +1 more source
The three types of normal sequential effect algebras [PDF]
Quantum, 2020 A sequential effect algebra (SEA) is an effect algebra equipped with a $\textit{sequential product}$ operation modeled after the Lüders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C$^*$-algebras.
Abraham Westerbaan +2 more
doaj +1 more source