Results 51 to 60 of about 3,345 (227)
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
Type Classes for Lightweight Substructural Types
, 2015 Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery.
Gan, Edward +2 more
core +2 more sources
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
Meeting strength in substructural logics [PDF]
Studia Logica, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction
Advanced Science, EarlyView.PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie +9 more
wiley +1 more source
Advanced Science, EarlyView.This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue +17 more
wiley +1 more source
Canonical formulas for k-potent commutative, integral, residuated lattices
, 2016 Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick +2 more
core +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +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
SciLitMiner: An Intelligent System for Scientific Literature Mining and Knowledge Discovery
Advanced Intelligent Systems, EarlyView.SciLitMiner is an intelligent system that federately ingests scientific literature, filters it using advanced information retrieval methods, and applies retrieval‐augmented generation tailored to scientific domains. Demonstrated on creep deformation in γ‐TiAl alloys, SciLitMiner provides a controlled workflow for systematic knowledge discovery and ...
Vipul Gupta +3 more
wiley +1 more source