Results 91 to 100 of about 1,803,872 (361)
Ordered fragments of first-order logic
, 2021 Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.
openaire +6 more sources
Gradients of Aliveness and Engineering: A Taxonomy of Fungal Engineered Living Materials
Advanced Materials, EarlyView.This paper explores the potential of fungal engineered living materials (ELMs), examining fungal biology and growth mechanisms, which underpin their development. It presents a classification framework based on aliveness, scaffold composition, and engineering degree. Unique properties such as self‐healing, biosensing, and bioremediation are highlighted,
Elise Elsacker +5 more
wiley +1 more source
Coherence of Proof-Net Categories
, 2005 The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic.
Dosen, K., Petric, Z.
core +1 more source
Probiotic‐Based Materials as Living Therapeutics
Advanced Materials, EarlyView.Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio +2 more
wiley +1 more source
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
A Roadmap for Plasma‐Enabled Electrocatalysis in Urea Production
Advanced Materials, EarlyView.A modular plasma—electrochemical platform enables fully electrified urea synthesis from air and CO2 under ambient conditions. This Review integrates plasma oxidation, C─N coupling electrolysis, mechanistic insights, and techno‐economic metrics into a roadmap for scalable, distributed, and renewable fertilizer production.
Jingwen Huang +6 more
wiley +1 more source
The Pebble-Relation Comonad in Finite Model Theory [PDF]
Logical Methods in Computer ScienceThe pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory.
Yoàv Montacute, Nihil Shah
doaj +1 more source
Choline Ionic Liquid for Long‐Term Stable Organic Electrochemical Transistors
Advanced Materials, EarlyView.Choline‐based ionic liquid integrated organic electrochemical transistors (Chol‐OECTs) for improvement of performance and prolonged lifetime is demonstrated. Introduction of the ionic liquid into PEDOT:PSS and gelatin creates choline acetate ionic liquid‐infused PEDOT:PSS (CLiPS) and choline acetate‐gelatin (CAGel) electrolyte.
Young Jin Jo +6 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Contemporary electronic devices produce significant waste, harming ecosystems. Innovation in design, consumption, materials, and end‐of‐life management is crucial. This review explores advanced materials for sustainable and responsible electronics, highlighting their potential to reduce environmental and health hazards while improving device ...
Rawan Omar +7 more
wiley +1 more source
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj