Results 21 to 30 of about 137 (130)

A Substructural Modal Logic of Utility

Journal of Logic and Computation, 2017
Abstract We introduce a substructural modal logic of utility that can be used to reason aboutoptimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems.
Pym, D, Anderson, G
openaire   +3 more sources

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj   +1 more source

Meeting strength in substructural logics [PDF]

Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 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

Substructural logic and partial correctness [PDF]

ACM Transactions on Computational Logic, 2003
We formulate a noncommutative sequent calculus for partial correctness that subsumes propositional Hoare Logic. Partial correctness assertions are represented by intuitionistic linear implication. We prove soundness and completeness over relational and trace models.
Dexter Kozen, Jerzy Tiuryn
openaire   +2 more sources

Collision‐Resilient Winged Drones Enabled by Tensegrity Structures

Advanced Robotics Research, EarlyView.
Based on structures of birds such as the woodpeck, this article presents the collision‐resilient aerial robot, SWIFT. SWIFT leverages tensegrity structures in the fuselage and wings which allow it to undergo large deformations in a crash, without sustaining damage. Experiments show that SWIFT can reduce impact forces by 70% over conventional structures.
Omar Aloui, Raphael Zufferey, William Stewart, Mohammad Askari, Simon Jeger, Dario Floreano   +5 more
wiley   +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, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

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, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic

Bulletin of the Section of Logic
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj   +1 more source

Comparative Analysis of Model‐Agnostic Explanation Methods in Materials Science

Advanced Intelligent Systems, EarlyView.
To address the critical lack of explainable artificial intelligence (XAI) benchmarks in materials science, we present a quantitative and qualitative analysis of six XAI methods applied to molecular fingerprints. Our results reveal significant discrepancies in feature importance rankings, demonstrating that the chosen explanation approach introduces ...
Anna Przybyłowska, Joanna Neubauer, Monika Sztuder, Witold Taisner, Agnieszka Hryniewicka, Julia Kolodziejczyk, Marta Eliza Plonska‐Brzezinska, Dariusz Brzezinski   +7 more
wiley   +1 more source