Results 61 to 70 of about 3,261,962 (390)
Interconnected magnetic tunnel junctions for spin-logic applications
AIP Advances, 2018 With the rapid progress of spintronic devices, spin-logic concepts hold promises of energy-delay conscious computation for efficient logic gate operations.
Mauricio Manfrini +18 more
doaj +1 more source
Generalization of the Truth-relevant Semantics to the Predicate Calculus
, 2020 In 1952 P. F. Strawson proposed a logic of presuppositions. It is an interpretation of Aristotelian logic, i.e. of the logic of the traditional syllogism. In 1981 Richard Diaz published a monograph in which he presented truth-relevant logic.
Newberry, X. Y.
core
On noncommutative extensions of linear logic
, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Slavnov, Sergey
core +1 more source
Continuous first order logic and local stability [PDF]
, 2008 We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic ...
Usvyatsov, Alexander, Yaacov, Itaï Ben
core +5 more sources
Ontologies for FAIR Data in Additive Manufacturing: A Use Case‐Based Evaluation
Advanced Engineering Materials, EarlyView.An ontology‐based approach for generating findable, accessible, interoperable, reusable data in additive manufacturing is explored, focusing on powder bed fusion. The article highlights the benefits of enhanced data findability and digital twin enablement, while addressing challenges like data integration complexity and the need for specialized ...
Thomas Bjarsch +2 more
wiley +1 more source
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
Information and Computation, 2007 AbstractWe introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properties of nonzero-sum games in a simple and natural way. We show that the one-alternation fragment of strategy logic is strong enough to express the existence of Nash ...
Chatterjee, K +2 more
openaire +5 more sources
Advanced Engineering Materials, EarlyView.This article provides examples of ontology development in the materials science domain (use‐case of Brinell hardness testing) and gives ontology developers an overview for selecting their desired top‐level ontologies (e.g., BFO, EMMO, PROVO) by considering different evaluation parameters like semantic richness, domain coverage, extensibility ...
Hossein Beygi Nasrabadi +3 more
wiley +1 more source
Material-Device-Circuit Co-Design of 2-D Materials-Based Lateral Tunnel FETs
IEEE Journal of the Electron Devices Society, 2018 In this paper, the 2-D materials-based lateral TFETs are holistically assessed by co-optimizing the material parameters, device designs, and digital circuit figure-of-merits, e.g., energy consumption and delay.
Tarun Agarwal +5 more
doaj +1 more source
Necessity in the Thought of Avicenna [PDF]
حکمت و فلسفه, 2018 To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj +1 more source