Results 41 to 50 of about 1,728 (218)
Coupling an MV-algebra with a Boolean algebra
, 1998 In this article we study Boolean powers of MV-algebras. We show that the property of semisimplicity is preserved by Boolean powers over separable complete Boolean algebras or by bounded Boolean powers over any Boolean algebra.
Drossos, Costas A., Karazeris, Panagis
core +1 more source
Robust Linearization and Eigenvalue Analysis of General Complex Constrained Multibody Systems
International Journal of Mechanical System Dynamics, EarlyView.ABSTRACT The derivation of linearized equations and subsequent eigenvalue analysis is the basis for tasks such as frequency‐domain response analysis, control design, and stability assessment for mechanical systems. However, for general multibody systems with redundant or nonholonomic constraints, practical challenges persist in achieving numerically ...
Zhiwen Xiao, Gexue Ren
wiley +1 more source
A countably distributive complete Boolean algebra not uncountably representable
, 1974 It is proved from the Continuum Hypothesis that there exists an ω \omega -distributive complete Boolean algebra which is not ω 1 {\omega _1} -representable.
John Gregory
core +1 more source
When do L-fuzzy ideals of a ring generate a distributive lattice?
Open Mathematics, 2016 The notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals.
Gao Ninghua, Li Qingguo, Li Zhaowen
doaj +1 more source
Nonprofit Governance and Financial Stability: A Study of Government‐Funded Social Services
Nonprofit Management and Leadership, EarlyView.ABSTRACT Nonprofit social service providers are essential in delivering vital services, often with public funding. This study adopts a contingency perspective to explore the relationship between organizational governance and financial stability in publicly funded nonprofit organizations. We use a combination of comparative multilevel analysis (CMA) and
Florentine Maier +4 more
wiley +1 more source
Lattice Operators and Topologies
International Journal of Mathematics and Mathematical Sciences, 2009 Working within a complete (not necessarily atomic) Boolean algebra, we use a sublattice to define a topology on that algebra. Our operators generalize complement on a lattice which in turn abstracts the set theoretic operator.
Eva Cogan
doaj +1 more source
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science, 2019 Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests.
Leandro Gomes +2 more
doaj +1 more source
Impact of Packaging and Recycling Systems on Material Recirculation: A Stage‐Decomposition Model
Packaging Technology and Science, EarlyView.A system‐level view emerges from decomposing recycling into four stages (participation, collection, sorting and process yield), diagnosing constraints and targeting interventions. Cumulative equivalent uses (CEUs) quantify long‐term retention, revealing marginal improvements at high baselines generate disproportionately larger gains than low‐baseline ...
Diogo Figueirinhas +3 more
wiley +1 more source
A representation theorem for a complete Boolean algebra of projections
, 1979 SynopsisLet B be a complete Boolean algebra of projections on a complex Banach space X and let (B) denote the closed algebra of operators generated by B in the norm topology. It is shown that there is a complex Hilbert space H, a complete Boolean algebra
H. R. Dowson, T. A. Gillespie
core +1 more source
BMC Health Services Research, 2021 Background While the Veterans Health Administration (VHA) MOVE! weight management program is effective in helping patients lose weight and is available at every VHA medical center across the United States, reaching patients to engage them in treatment ...
Edward J. Miech +8 more
doaj +1 more source