Results 61 to 70 of about 690 (186)
Craig interpolation for semilinear substructural logics
, 2012 The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear (subdirect products of linearly ordered) pointed commutative residuated lattices.
Marchioni, Enrico, Metcalfe, George
core +1 more source
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties [PDF]
, 2013 Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices.
Horcik R., Cintula P., Noguera C.
core +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
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 Van Benthem Characterization Result for Distribution-Free Logics
LogicsThis article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj +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
Editorial Introduction: Substructural Logics and Metainferences
, 2022 International audienceThe concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange.
Égré, Paul, Barrio, Eduardo
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 +4 more
wiley +1 more source
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 +5 more
wiley +1 more source
Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic
, 2018 We present a method of embedding substructural logics into ordinary first-order intuitionistic logic. This embedding is faithful in a very strong sense: not only does it preserve provability of sequents under translation, but it also preserves sets of ...
Frank Pfenning (5356877) +1 more
core +1 more source