Results 41 to 50 of about 2,358 (145)

Non-normal modalities in variants of Linear Logic [PDF]

, 2015
This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the
Porello, Daniele, Troquard, Nicolas
core   +4 more sources

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

Advanced Intelligent Discovery, EarlyView.
Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

An Efficient Quasi‐Static Condensation‐Based Framework for Seismic Analysis of Multi‐Supported Secondary Structures

Earthquake Engineering &Structural Dynamics, EarlyView.
ABSTRACT Multi‐supported non‐structural components (NSCs) are prone to seismic damage, yet their response prediction remains challenging when support motions are spatially incoherent. This study proposes an enhanced quasi‐static condensation (EQSC) method for linear, lightweight, dynamically detuned multi‐supported NSCs under the neglect of primary ...
Duozhi Wang, Fengze Li, Xudong Zhi, Nawawi Chouw, Rong Zhang, Feng Fan   +5 more
wiley   +1 more source

Constructive Logic with Strong Negation as a Substructural Logic

Journal of Logic and Computation, 2008
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance, we prove that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom ...
Manuela Busaniche, Roberto Cignoli
openaire   +2 more sources

A Substructural Epistemic Resource Logic [PDF]

, 2016
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI's resource semantics with epistemic agency.
Didier Galmiche, Pierre Kimmel, David J. Pym   +2 more
openaire   +1 more source

Labelled Natural Deduction for Substructural Logics [PDF]

, 1999
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates ...
Broda, K, Finger, M, Russo, A
core   +1 more source

Mapping Patient Complexity to Educational Needs: Proof‐of‐Concept for a Data‐Driven Framework

Journal of Dental Education, EarlyView.
ABSTRACT Purpose: This study aimed to determine whether routinely collected clinical data from a university dental clinic could be translated into a coherent framework for organizing competency‐based clinical training. By examining patterns of patient complexity, the study sought to generate an evidence‐informed set of educational care lines to guide ...
Francesca Zotti, Rozendo Luiz Corso, Bruna Orlandin, Leandro Corso, Thiago Oliveira Gamba   +4 more
wiley   +1 more source

Beyond our backyard: Unravelling how social‐ecological fit drives the formation of inter‐regional collaborative networks for water governance in the Yellow River Basin

People and Nature, EarlyView.
Abstract The societal and biophysical permeability across human‐demarcated jurisdictions within watersheds necessitates collaboration among administrative regions. The effectiveness of such collaboration is partly determined by the degree to which institutional arrangements align with underlying social and ecological interdependencies, a concept ...
Fang Wang, Haibin Chen, Liqun Shao, Shuai Wang   +3 more
wiley   +1 more source

From prediction to intervention: Paradigm shifts in causal AI for precision medicine and large‐scale cohorts

VIEW, EarlyView.
Large‐scale cohorts and multimodal biomedical data have enabled powerful predictive models for clinical risk stratification, but prediction alone cannot guide effective interventions. This review introduces causal artificial intelligence as a design‐first framework that integrates target trial emulation, causal discovery, and robust effect estimation ...
Linlin Cao, Yudian Xu, Yifan Chen, Honghao Huang, Wei Xu, Jun Pu   +5 more
wiley   +1 more source