Results 51 to 60 of about 48,055 (261)
La santé globale : biopolitique en territoires
Revue Francophone sur la Santé et les Territoires, 2018 The 1851 Paris Meeting to build cooperation for health between nations heralded the governance of international health concerning the scale of the nation-state and the organization of the interrelations between them.
Alain Vaguet
doaj +1 more source
Canonical formulas for k-potent commutative, integral, residuated lattices
, 2016 Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick +2 more
core +1 more source
Some results on intermediate constructive logics.
Notre Dame Journal of Formal Logic, 1989 Some techniques for the study of intermediate constructive logics are illustrated. In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Med- vedev's logic of finite problems ) can be obtained.
Miglioli P. +4 more
openaire +3 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Characterizing intermediate tense logics in terms of Galois connections
, 2014 We propose a uniform way of defining for every logic ${\sf L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK_t}$.
Dzik, Wojciech +2 more
core +1 more source
Kripke Models and Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1970 In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Two basic results on translations between logics
O Que Nos Faz Pensar, 2016 The aim of the present paper is to show two basic results concerning translation between logics: [1] The first result establishes that given two logics S1 and S2 with languages L1 and L2, and a translation F of L1 into L2 that interprets S1 into S2, then,
Edward Hermann Haeusler +1 more
doaj
L'Espace PolitiqueThis article explores circularity in organic matter chains. Public waste management services and urban agriculture aim to recover organic resources, each guided by distinct logics and purposes : waste valorization and soil fertilization.
Noémie Régeard
doaj +1 more source