Results 31 to 40 of about 255 (160)
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
openaire +4 more sources
Angewandte Chemie, EarlyView.The fischerazoles, unusual cyanobacterial chlorinated lipopeptides are reported. During their biosynthesis, a linear fatty acyl‐acyl carrier protein (ACP) precursor is rearranged through the action of the S‐adenosyl‐methionine (SAM)‐dependent methyltransferase FshF, to generate a pendant vinyl group.
Sandra A. C. Figueiredo +8 more
wiley +2 more sources
Natural Product Communications, 2010 This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules.
Bertrand Plainchont +5 more
doaj +1 more source
A substructural logic for layered graphs [PDF]
Journal of Logic and Computation, 2014 Complex systems, be they natural or synthetic, are ubiquitous. In particular, complex networks of devices and services underpin most of society's operations. By their very nature, such systems are difficult to conceptualize and reason about effectively.
Collinson, M, McDonald, K, Pym, D
openaire +2 more sources
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
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
LogicsWe 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
Meeting strength in substructural logics [PDF]
Studia Logica, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
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
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 +5 more
wiley +1 more source