Results 51 to 60 of about 945 (231)
Representability is not decidable for finite relation algebras [PDF]
, 2001 Published ...
Hirsch, R, Hodkinson, I
core +1 more source
On the Nonexistence of Free Complete Boolean Algebras [PDF]
, 1962 Rieger asked in 1951 if there exists a free complete Boolean algebra on ω complete generators. Crawley and Dean proved in 1955 that there does not exist a free complete lattice on three complete generators, but their method does not extend to Boolean ...
Hales, Alfred Washington
core +1 more source
Complete Boolean Algebras [PDF]
, 2002 By now, we have assumed only that in every algebra we encounter there are a supremum and an infimum of each finite subset (likewise in a general lattice). We now strengthen the requirements on an algebra.
openaire +2 more sources
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Sustainability‐oriented collaborations are inter‐organisational arrangements where the competencies of multiple companies are pooled together to tackle environmental challenges. These collaborations differ from traditional strategic alliances in that they tackle complex goals amidst greater uncertainties that extend beyond economic performance,
Vittorio Maria Garibbo +3 more
wiley +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
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
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements
Symmetry, Integrability and Geometry: Methods and Applications, 2010 We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice effect algebras.
Zdenka Riecanová
doaj +1 more source
Generalized co-annihilator of BL-algebras
Open Mathematics, 2015 In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators.
Meng Biao Long, Xin Xiao Long
doaj +1 more source
Criterion for the cosemanticness of the Abelian groups in the enriched signature
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev +2 more
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