Results 91 to 100 of about 164,088 (328)
Algebraic logic for the negation fragment of classical logic
Logic Journal of the IGPL, 2023 Abstract The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, i.e. we find the classes $\textrm{Alg}^*$, $\textrm{Alg}
openaire +3 more sources
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
Distributed Logic Objects A Fragment of Rewriting Logic and its Implementation
Electronic Notes in Theoretical Computer Science, 1996 AbstractThis paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic underlying the language is Rewriting Logic. In
A. Ciampolini +3 more
openaire +3 more sources
Non-commutative logic I: the multiplicative fragment
Annals of Pure and Applied Logic, 1999 The paper introduces a noncommutative \textit{extension} of the multiplicative fragment of linear logic (LL), called ``noncommutative logic'' (NL). When noncommutative LL was already studied, it was usually done in strictly noncommutative systems (which did not contain commutative LL). This is the first time that such a simple and elegant way to extend
Abrusci, V.Michele, Ruet, Paul
openaire +1 more source
Advanced Science, EarlyView.This review provides a comprehensive exploration of microstructure regulation strategies for multi‐principal element alloy‐based films and coatings, with a focus on the interplay between elemental composition, nanoscale architecture, heterostructures and interfacial engineering in tailoring their properties and functions. A systematic analysis of their
Jiaming Cao +4 more
wiley +1 more source
Complexity of syntactical tree fragments of Independence-Friendly logic [PDF]
, 2020 Fausto Barbero
openalex +1 more source
Logic‐Gated HSV‐TK/GCV Suicide Gene Circuit for Triple‐Negative Breast Cancer
Advanced Science, EarlyView.The BRAS comprises two modular genetic components driven by distinct tumor‐specific promoters and a failsafe layer with the NOT gate. This multi‐input logic gate circuit enables precise, specific expression of HSV‐TK in breast cancer cells with hardly expression in normal cell and effectively inhibits tumor growth in a triple‐negative breast cancer ...
Shasha Tang +10 more
wiley +1 more source
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments
Journal of Philosophical Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Demey, Lorenz, Smessaert, Hans
openaire +1 more source
Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism
Advanced Science, EarlyView.The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying +8 more
wiley +1 more source