Results 71 to 80 of about 164,088 (328)
Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng +2 more
doaj +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, EarlyView.An unsaturated coordination chemistry strategy activates a quasi‐solid‐state redox pathway by strengthening NaPSs adsorption and accelerating redox conversion kinetics, thereby overcoming the kinetic bottlenecks that limit high‐rate performance. In situ transmission electron microscopy, combined with newly developed Na‐ion diffusion descriptors ...
Mingyue Wang +12 more
wiley +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
From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability
Advanced Materials Interfaces, EarlyView.This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik +6 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
, 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
Light‐Programmable Interfaces: From Molecular Photoswitching to Adaptive Membrane Separations
Advanced Materials Interfaces, EarlyView.This review advances an interface‐centered framework for light‐responsive membranes, linking molecular photoswitches (azobenzene (AZO), spiropyran (SP), diarylethene (DAE), donor–acceptor Stenhouse adducts (DASA), photoacid) to integration strategies in polymeric, porous, self‐assembled, and mixed‐matrix systems.
Liangliang Zhang +6 more
wiley +1 more source
On Sub-Propositional Fragments of Modal Logic
Logical Methods in Computer Science, 2018 In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained
Bresolin, Davide +2 more
openaire +7 more sources