Results 91 to 100 of about 8,779,065 (357)
A five-valued logic and a system
Journal of Computer Science and Technology, 2004 The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj
An RTL-Based General Synthesis Methodology for Device-Independent Ternary Logic Circuits
IEEE AccessTernary logic circuits are considered a high-potential alternative that can continue the technological advance of binary logic. Current studies in ternary logic focus on two aspects: One focuses on designing specific ternary circuits (such as adders ...
Hanmok Park +3 more
doaj +1 more source
Generalized quantifiers and compact logic [PDF]
Transactions of the American Mathematical Society, 1975 We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.
openaire +2 more sources
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals
Advanced Functional Materials, EarlyView.Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Well‐structured graphene hybrid architectures featuring spatially resolved fluorescent properties represent a promising but so‐far elusive synthetic target. A robust and straightforward method for fabricating well‐organized graphene‐dye hybrid nanoassemblies through a combination of reductive patterning and conventional click chemistry is presented ...
Sabrin Al‐Fogra +12 more
wiley +1 more source
A Generalized Realizability and Intuitionistic Logic
ACM Transactions on Computational Logic, 2023 Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier.
openaire +2 more sources
In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device
Advanced Functional Materials, EarlyView.In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang +19 more
wiley +1 more source
Advanced Functional Materials, EarlyView.High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim +4 more
wiley +1 more source
Coding-Decoding Ternary Logic [PDF]
Iraqi Journal for Electrical and Electronic Engineering, 2014 In this paper ternary logic is encoded into binary and certain processes were conducted on binary logic after which the binary is decoded to ternary.
Rawnaq A. Habeeb
doaj