Truth Values in t-norm based Systems Many-valued FUZZY Logic

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.

Imaging of spin waves in atomically designed nanomagnets

The spin dynamics of all ferromagnetic materials are governed by two types of collective phenomenon: spin waves and domain walls. The fundamental processes underlying these collective modes, such as exchange interactions and magnetic anisotropy, all originate at the atomic scale. However, conventional probing techniques based on neutron1 and photon scattering2 provide high resolution in reciprocal space, and thereby poor spatial resolution. Here we present direct imaging of standing spin waves in individual chains of ferromagnetically coupled S = 2 Fe atoms, assembled one by one on a Cu2N surface using a scanning tunnelling microscope. We are able to map the spin dynamics of these designer nanomagnets with atomic resolution in two complementary ways. First, atom-to-atom variations of the amplitude of the quantized spin-wave excitations are probed using inelastic electron tunnelling spectroscopy. Second, we observe slow stochastic switching between two opposite magnetization states3, 4, whose rate varies strongly depending on the location of the tip along the chain. Our observations, combined with model calculations, reveal that switches of the chain are initiated by a spin-wave excited state that has its antinodes at the edges of the chain, followed by a domain wall shifting through the chain from one end to the other. This approach opens the way towards atomic-scale imaging of other types of spin excitation, such as spinon pairs and fractional end-states5, 6, in engineered spin chains.