Results 51 to 60 of about 16,441 (253)
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
A Logic for Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications.
Marco Carbone +3 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Step-Indexed Normalization for a Language with General Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments—a _logical_ fragment where every term normalizes and which is consistent when interpreted as a logic, and a ...
Chris Casinghino +2 more
doaj +1 more source
Bulletin of the Section of Logic, 2021 We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj +1 more source
Advanced Functional Materials, EarlyView.The design of intrinsically robust stretchable semiconducting polymers was achieved through OTBS‐mediated post‐functionalization of PDPP2T side chains with UPy units, generating dual hydrogen‐bonding motifs comprising weaker urethane linkages and strong quadruple UPy interactions along the long alkyl side chain, which is crucial for achieving desirable
Dinda Bazliah +7 more
wiley +1 more source
The Systems of Relevance Logic [PDF]
Argument, 2011 The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic [PDF]
Logical Methods in Computer ScienceThe uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two.
Oskar Fiuk, Emanuel Kieronski
doaj +1 more source
Goedel logics: Prenex fragments
CoRRResearch supported by FWF grant P ...
Matthias Baaz, Mariami Gamsakhurdia
openaire +2 more sources
The decidability of a fragment of BB′IW-logic
Theoretical Computer Science, 2004 AbstractDespite its simple formulation, the decidability of the logic BB′IW has remained an open problem. We present here a decision procedure for a fragment of it, called the arity-1 formulas.The decidability proof is based on a representation of formulas called formula-trees, which is coupled with a proof method that computes long normal λ-terms that
Sabine Broda +3 more
openaire +1 more source