Results 71 to 80 of about 165,831 (331)
Advanced Materials, EarlyView.An ion‐regulating membrane is designed with a surface‐concentrated positively‐charged Zn2⁺ crosslinked network for zinc‐manganese flow batteries. The membrane effectively mitigates proton crossover and regulates zinc ion distribution to avoid dendrites, thus significantly improving areal capacity and prolonging the lifespan with a record accumulated ...
Jine Wu, Jiafeng Lei, Yi‐Chun Lu
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
Goedel logics: Prenex fragments
Research supported by FWF grant P ...
Baaz, Matthias, Gamsakhurdia, Mariami
openaire +2 more sources
A structurally complete fragment of relevant logic.
Notre Dame Journal of Formal Logic, 1992 In the fragment of relevant logic \(R\) whose connectives are \(\to\) and \(\&\), every admissible rule is derivable. The proof is a non-trivial variant of the argument in the intuitionist case.
Slaney, John K., Meyer, Robert K.
openaire +2 more sources
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Reasoning about Minimal Belief and Negation as Failure
, 2011 We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core +1 more source
Advanced Materials Interfaces, EarlyView.xx xx. ABSTRACT Diabetic foot ulcer (DFU) is a chronic complication of diabetes, primarily caused by hyperglycemia, peripheral vascular disease, and neuropathy. Characterized by persistent hyperglycemia, impaired perfusion, inflammation, and infection, DFUs pose significant challenges to healing and are associated with high morbidity and amputation ...
Tang Yuqing +5 more
wiley +1 more source
Formal language theory of logic fragments
, 2014 The present thesis consists of two parts. Based on syntactic closure axioms of formula sets, the first part gives a formal definition of logic fragments. It also shows the versatileness of this notion of logic fragments, inter alia, giving, C-variety descriptions of logic fragments and abstractly investigating the influence of certain predicates on the
Alexander Lauser
openalex +4 more sources
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
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +1 more source