Results 61 to 70 of about 3,086 (177)

Generalized quantification as substructural logic [PDF]

Journal of Symbolic Logic, 1996
AbstractWe show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables.
Alechina, N.A., van Lambalgen, M.
openaire   +2 more sources

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

Nepali Women at Work: Menstruation in Informal and Formal Workplaces

Gender, Work &Organization, EarlyView.
ABSTRACT Women of specific castes in Nepal are socialized to adhere to a range of menstrual customs. Drawing on semi‐structured interviews, we examine the relevance of menstrual customs in informal and formal workplaces in Kathmandu, Nepal. We expand upon Acker's work on gendered institutions cross‐culturally, highlighting its global significance, and ...
Srijana Karki, Tamara L. Mix
wiley   +1 more source

Machine Learning for Designing Perovskites and Perovskite‐Inspired Solar Materials: Emerging Opportunities and Challenges

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, Yiming Xia, Ali Shakiba, Hongrui Zhang, Xiaojing Hao, Priyank V. Kumar, Mahesh P. Suryawanshi   +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, Cibo Feng, Haibin Su, Xiakun Chu   +3 more
wiley   +1 more source

Tool support for reasoning in display calculi [PDF]

, 2016
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel, Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra   +4 more
core   +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, Saveena Solanki, Gaurav Ahuja   +2 more
wiley   +1 more source

A cognitive view of relevant implication [PDF]

, 2015
Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication.
Masolo, Claudio, Porello, Daniele
core  

The ubiquity of conservative translations

, 2012
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva, D’Ottaviano, D’Ottaviano, D’Ottaviano, D’Ottaviano, EMIL JEŘÁBEK, Galatos, Lau, Post   +8 more
core   +1 more source

EnzRetro: Enzymatic Retrosynthetic Planning With Site‐Specific Reaction Edits Based on Sequence Generative Architecture

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, Haoshu Chen, Tao Zhang, Xin Zhao, Bingzhi Li, Xiangrui Zheng   +5 more
wiley   +1 more source