Results 51 to 60 of about 690 (186)
Meeting strength in substructural logics [PDF]
Studia Logica, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Free choice permission as resource-sensitive reasoning
Semantics and Pragmatics, 2010 Free choice permission is a long-standing puzzle in deontic logic and in natural language semantics. It involves what appears to be a conjunctive use of "or": from "You may eat an apple or a pear", we can infer that "You may eat an apple" and that "You ...
Chris Barker
doaj +1 more source
Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy
Advanced Science, EarlyView.Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu +4 more
wiley +1 more source
Fixpointed Idempotent Uninorm (Based) Logics
Mathematics, 2019 Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj +1 more source
Reflections on Brady's logic of meaning containment [PDF]
This paper is a series of reflections on Ross Brady’s favourite substructural logic, the logic MC of meaning containment. In the first section, I describe some of the distinctive features of MC, including depth relevance, and its principled rejection of ...
Restall, Greg
core +1 more source
Decoding Spatial Heterogeneity and Multi‐Omics Regulation with Hierarchical Graph Learning
Advanced Science, EarlyView.ABSTRACT Recent advances in spatial multi‐omics technologies have enabled the simultaneous profiling of multiple molecular layers within the same tissue slice, providing unprecedented opportunities to investigate tissue spatial organization. However, most existing computational methods identify spatial domains in a purely data‐driven manner, rarely ...
Jiazhou Chen +6 more
wiley +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
Theorems of Alternatives for Substructural Logics
, 2021 A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the
Metcalfe, George +5 more
core +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
Glivenko theorems for substructural logics over FL [PDF]
, 2006 It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter.
Ono, Hiroakira, Galatos, Nikolaos
core