Results 41 to 50 of about 387 (183)
, 2014 Being a two valued logics, classical logic associates with each proposition one of the two values: true or false. In contrast to the classical logics a non-classical many-valued logics was introduced. In many valued logics any proposition could have many
Shcherban, Anastasia
core
XML Schema, Tree Logic and Sheaves Automata [PDF]
, 2002 We describe a new class of tree automata, and a related logic on trees, with applications to the processing of XML documents and XML schemas. XML documents, and other forms of semi-structured data, may be roughly described as edge labeled trees ...
Silvano Dal Zilio +3 more
core +4 more sources
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
Paraconsistent semantics for Pavelka style fuzzy sentential logic [PDF]
, 2016 The root of this work is on the one hand in Belnap's four valued paraconsistent logic, and on the other hand on Pavelka's papers further developed by Turunen.
Turunen, Esko +2 more
core +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
Between classical and quantum [PDF]
, 2005 The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it.
Landsman, Nicolaas P.
core
Some variants of Vaught’s conjecture from the perspective of algebraic logic [PDF]
, 2012 Vaught’s Conjecture states that if T is a complete first order theory in a countable language such that T has uncountably many pairwise non-isomorphic countably infinite models, then T has 2^ℵ_0 many pairwise non-isomorphic countably infinite models ...
Sági, Gábor, Sziráki, Dorottya
core +1 more source
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This paper establishes an implementation‐aware framework for Barrier Function Adaptation (BFA) and shows that discrete‐time realizations fundamentally alter the logic of final‐set adjustment. In particular, sufficient conditions are derived to preserve the key benefits of BFA (predefined performance, gain adaptation with uncertain perturbation
Luis Ovalle +3 more
wiley +1 more source
Handbook of Mathematical Fuzzy Logic. Volume 1 [PDF]
, 2011 Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of ...
Petr Hájek +6 more
core
Feedback Linearisation with State Constraints
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Feedback Linearisation (FBL) is a widely used technique that applies feedback laws to transform input‐affine nonlinear control systems into linear control systems, allowing for the use of linear controller design methods such as pole placement.
Songlin Jin, Yuanbo Nie, Morgan Jones
wiley +1 more source