Results 61 to 70 of about 2,358 (145)
Constructive Logic with Strong Negation is a Substructural Logic. I [PDF]
Studia Logica, 2008 This is the latter half of two papers in which the authors show that the constructive logic with strong negation is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely, the full Lambek calculus with exchange and weakening. In the first half [\textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 88, No.
Spinks, M., Veroff, R.
openaire +3 more sources
Logical consequences. Theory and applications: An introduction. [PDF]
, 2020 2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind.
Augusto, Luis M.
core
Advanced Science, Volume 13, Issue 23, 23 April 2026.This review offers a comprehensive comparison between perovskites and perovskite‐inspired materials (PIMs), focusing on their crystal structures, electronic properties, and chemical compositions. It evaluates the applicability of machine learning (ML) descriptors and models across both material classes.
Yangfan Zhang +6 more
wiley +1 more source
Investigating Phase Separation in Genome Folding via Multiscale Computational Modeling
Advanced Science, Volume 13, Issue 24, 27 April 2026.Phase separation is emerging as a multiscale organizing principle of genome folding across scales, from nucleosomes and transcriptional condensates to chromatin domains and nuclear compartments. By integrating physics‐based simulations with data‐driven inference, computational modeling now links molecular interactions to nuclear architecture and points
Jiahu Tang +3 more
wiley +1 more source
Substructural Fuzzy-Relevance Logic [PDF]
Notre Dame Journal of Formal Logic, 2015 This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle.
openaire +2 more sources
Mechanism‐Aware Deep Learning Maps the Redox Landscape of Cancer‐Relevant Antioxidants
Chemistry–Methods, Volume 6, Issue 4, April 2026.A mechanism‐aware deep learning framework links chemical structure to redox biology, enabling pathway‐specific prediction of antioxidant mechanisms across six core reactive oxygen species‐regulatory systems and outperforming structure‐only baseline by learning biologically grounded rather than purely chemical similarity rules.
Shiva Satija +2 more
wiley +1 more source
Conuclear images of substructural logics [PDF]
Mathematical Logic Quarterly, 2016 Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are ...
openaire +1 more source
Exploration, Volume 6, Issue 2, April 2026.EnzRetro bridges retrosynthesis planning and enzymatic engineering through site‐specific reaction edits. This end‐to‐end framework integrates pathway synthesis and enzyme identification into a unified process, achieving superior accuracy and enabling the efficient reconstruction of diverse biosynthetic pathways.
Yahui Cao +5 more
wiley +1 more source
Rare Metals, Volume 45, Issue 4, April 2026.ABSTRACT Nickel‐based superalloys (Ni‐based superalloys) have attracted extensive attention in laser additive manufacturing (LAM) due to their capability to directly fabricate complex and high‐performance structural components. However, the rapid melting and solidification inherent to LAM result in intense thermal cycling, which induces high residual ...
Tianxiang Lin +9 more
wiley +1 more source
A Paradox of Inferentialism [PDF]
, 2015 John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the ...
Turbanti, Giacomo
core