Results 91 to 100 of about 1,072,805 (301)
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Disorder‐Broadened Topological Hall Phase and Anomalous Hall Scaling in FeGe
Advanced Functional Materials, EarlyView.By systematically introducing defects into FeGe via ion‐beam modification, we demonstrate that disorder broadens the temperature regime over which the topological Hall effect ‐ a signature of skyrmions or other chiral textures — appears, while also increasing its magnitude.
Chaman Gupta +11 more
wiley +1 more source
Philosophia Scientiæ, 2011 Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood.
Fabien Schang
doaj +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2006 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core
Geometrisation of first-order logic [PDF]
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Growing a Modular Framework for Modal Systems: HOLMS [PDF]
We present HOLMS (HOL Light Library for Modal Systems), an evolving modular framework for mechanising modal reasoning within the HOL Light proof assistant.
Perini Brogi, Cosimo +2 more
core
Modal fixpoint logic: some model theoretic questions [PDF]
, 2010 This thesis is a study into some model-theoretic aspects of the modal µ-calculus, the extension of modal logic with least and greatest fixpoint operators. We explore these aspects through a fine-structure approach to the µ-calculus.
Fontaine, G.M.M.
core +19 more sources
Bio‐Inspired Artificial Ionic Mechanoreceptor
Advanced Functional Materials, EarlyView.A skin‐inspired artificial mechanoreceptor based on ionic interactions is presented for biomimetic tactile sensing. Pressure‐driven ionic redistribution within microfluidic channels generates a self‐powered electrical signal without external bias. The generated waveform exhibits mechanoreceptor‐like temporal features, including overshoot and undershoot,
Mohammad Akbari +4 more
wiley +1 more source
Unification in Modal Logic [PDF]
, 2019 In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in ...
openaire +2 more sources