Results 101 to 110 of about 9,148 (294)
A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras
AxiomsThis study introduces the concept of an intuitionistic fuzzy SBCK-subalgebra (SBCK-ideal) and explores the level set of an intuitionistic fuzzy set within the context of Sheffer stroke BCK-algebras.
Ravi Kumar Bandaru +3 more
doaj +1 more source
Philosophia Scientiæ, 2011 Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood.
Fabien Schang
doaj +1 more source
Open Ended Systems, Dynamic Bisimulation, and Tile Logic
, 2000 The SOS formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to characterize the coarsest congruence for CCS which is also a (weak) bisimulation ...
SASSONE V. +8 more
core +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
A Fuzzy Logic for Semi-Overlap Functions and Their Residua
AxiomsSemi-overlap functions as a generalization of left-continuous t-norms also have residua. In this paper, we develop a new residuated logic, SOL-logic, based on semi-overlap functions and their residua. The corresponding algebraic structures, SOL-algebras,
Lei Du, Songsong Dai, Lvqing Bi
doaj +1 more source
Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
Journal of Mathematics, 2013 The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting ...
George Voutsadakis
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
The Algebraic Structure of Petri Nets
, 2004 This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core
Sliding Mode Control in Aerospace Applications: A Survey
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Sliding mode control (SMC) enjoys robustness to matched and unmatched (in the case of minimum phase input‐output dynamics) bounded perturbations, and finite time convergence. Second‐order and higher‐order sliding mode control systems (2‐SMC/HOSMC) retain all the advantages of sliding mode control, but in addition can be applied to systems of ...
Yuri Shtessel, Christopher Edwards
wiley +1 more source
On the Algebraic Structure of Petri Nets
, 2000 This paper retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core