Results 61 to 70 of about 884 (194)
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective [PDF]
, 2015 We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-via-canonicity. Specifically, we use the topological theory of canonical (in) equations in distributive lattice expansions to show ...
Pym, D +5 more
core +1 more source
Conservative expansions of substructural logics
, 2021 In this paper we investigate several conservative expansions of substructural logics, and of fuzzy logics in particular. The most important are the expansion by Δ and the expansion by propositional quantifiers, with applications to Craig interpolation ...
Montagna, F. +5 more
core +1 more source
Advanced Science, EarlyView.This review explores the convergence of artificial intelligence technologies in modeling drug–drug and drug–target interactions. By evaluating advanced feature engineering, architectural innovations, and learning paradigms reveals shared evolutionary trends and critical challenges, such as cold‐start settings and shortcut learning.
Xin Sun, Tong Wang
wiley +1 more source
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of LogicLinear 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
Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design
Advanced Science, EarlyView.A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram +4 more
wiley +1 more source
Advanced Science, EarlyView.This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao +9 more
wiley +1 more source
Relevant and substructural logics
, 2006 B1 - Research Book ChaptersPublisher This chapter discusses proof theory of relevant and substructural logics, and the model theory of these logics.
Restall, Greg, Greg Restall, Restall, G
core +1 more source
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 +4 more
wiley +1 more source
A Canonical Model Construction for Substructural Logics
, 2000 In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripke- style
Ishihara, Hajime, Ishihara,Hajime
core +1 more source
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 +5 more
wiley +1 more source