Results 21 to 30 of about 296,040 (177)
Notre Dame Journal of Formal Logic, 2011 We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.
Shimon Garti, Saharon Shelah
openaire +4 more sources
DMA:an algebra for multicriteria spatial modeling [PDF]
, 2006 The objective of this paper is to propose a new algebra, called decision map algebra (DMA), especially devoted to multicriteria spatial modeling. DMA is a generic and context-independent modeling language inspired from map algebra and other similar ...
Chakhar, Salem, Mousseau, Vincent
core +1 more source
Class of Sheffer stroke BCK-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent.
Oner Tahsin +2 more
doaj +1 more source
A Boolean Algebra Approach for Class Hierarchy Normalization [PDF]
, 1997 Normalization in object-oriented design is much different from that in relational database design. Not only are the conceptual data model of object-oriented (o-o) models integrating richer structuring capabilities than that of relational models, but also
Jitian Xiao +3 more
core +1 more source
Interpolative Boolean Networks
Complexity, 2017 Boolean networks are used for modeling and analysis of complex systems of interacting entities. Classical Boolean networks are binary and they are relevant for modeling systems with complex switch-like causal interactions.
Vladimir Dobrić +4 more
doaj +1 more source
Logic-based aggregation methods for ranking student applicants [PDF]
Yugoslav Journal of Operations Research, 2017 In this paper, we present logic-based aggregation models used for ranking student applicants and we compare them with a number of existing aggregation methods, each more complex than the previous one.
Milošević Pavle +4 more
doaj +1 more source
Discrete Mathematics, 1974 AbstractStudies of various algebraic structures which can be defined over a Boolean algebra by means of Boolean operations have been made by Bernstein [1, 2], Cunkle [3], Elliott [4], Frink [6, 7], Grätzer [8], Grätzer and Schmidt [9], Rudeanu [10, 11], Vaidyanathaswamy [12], Wiener [13], and others.
C. H. Cunkle, Sergiu Rudeanu
openaire +2 more sources
Annals of Pure and Applied Logic, 1985 Let \(\kappa\) be the cofinality of \(2^{\aleph_ 0}\). There exists a Boolean algebra B of cardinality \(\kappa\) with the property that every subset of B of size \(\kappa\) contains two elements a and b such that ...
Robert Bonnet, Saharon Shelah
openaire +2 more sources
On (⊙, ∨)-derivation for BL-algebras [PDF]
Journal of Hyperstructures, 2013 In this paper, we define the concept of (⊙, ∨)-derivations for BL-algebras and discuss some related results. We study this derivation on boolean center B(A) of a BL-algebra A.
L. Torkzadeh, L. Abbasian
doaj +1 more source
Interpolative Boolean algebra based multicriteria routing algorithm [PDF]
Yugoslav Journal of Operations Research, 2015 In order to improve the quality-of-service of distributed applications, we propose a multi-criteria algorithm based on interpolative Boolean algebra for routing in an overlay network.
Jeremić Marina +2 more
doaj +1 more source