Results 31 to 40 of about 137 (130)

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear 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

Constructive Logic with Strong Negation as a Substructural Logic

Journal of Logic and Computation, 2008
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance, we prove that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom ...
Manuela Busaniche, Roberto Cignoli
openaire   +2 more sources

Exploring the Boundaries of Aromaticity in Complex Structures and Excited States Through Computational Analysis

Chemistry – A European Journal, EarlyView.
Understanding aromaticity has evolved from benzene‐centric concepts to a broad multidimensional framework spanning organic, inorganic, and excited‐state systems. This review highlights ambiguities between magnetic, electronic, geometric, and energetic descriptors, emphasizing the need for unified, multi‐criteria approaches.
Sílvia Escayola, Miquel Solà, Albert Poater   +2 more
wiley   +1 more source

A Substructural Epistemic Resource Logic [PDF]

, 2016
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI's resource semantics with epistemic agency.
Didier Galmiche, Pierre Kimmel, David J. Pym   +2 more
openaire   +1 more source

Hydrogen Release From Silicon─Hydrogen Systems: From Surface Chemistry to Higher‐Coordinate Molecular Mechanisms

Chemistry – A European Journal, EarlyView.
Hydrogen‐release processes in silicon chemistry occur across a broad spectrum of systems, including crystalline silicon surfaces, nanoporous materials, Zintl phases, and molecular hydrides. This Review highlights how Si─H activation and H2 evolution are governed by structure, coordination environment, and dynamic access to reactive geometries, with ...
Robin Rothfelder, Jonathan O. Bauer
wiley   +1 more source

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

Extended routine lymphocyte immunophenotyping refines individual immune organization across a heterogeneous patient cohort

Cytometry Part B: Clinical Cytometry, EarlyView.
Abstract Routine TBNK immunophenotyping detects the major lymphocyte compartments but may underestimate the biologically relevant variation contributed by less frequent but well‐defined minor lymphocyte subsets. This study evaluated whether extending routine TBNK immunophenotyping with minor lymphocyte subsets provides complementary, analytically ...
Carlos Agustin Villegas Valverde, Yendry Ventura Carmenate, Vianed Marsan Suarez, Yandy Marx Castillo Aleman, Imilla Casado Hernandez, Rachely Hernandez Corrales   +5 more
wiley   +1 more source

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence

Logics
We present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj   +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, Rozendo Luiz Corso, Bruna Orlandin, Leandro Corso, Thiago Oliveira Gamba   +4 more
wiley   +1 more source

AI‐Driven Synthesis in Medicinal Chemistry: Integrating Large Language Models, Robotic Automation, and Sustainability Metrics to Accelerate Drug Discovery

Medicinal Research Reviews, EarlyView.
ABSTRACT Artificial intelligence (AI) is transforming synthetic chemistry from task‐specific predictors into integrated platforms that unify retrosynthesis, reaction optimization, and closed‐loop robotic automation. This review highlights how AI‐assisted planning and robotic execution shorten cycle times, reduce step counts, and improve route ...
Amit Gangwal, Antonio Lavecchia
wiley   +1 more source