Results 91 to 100 of about 140,069 (266)

Interpolation in First-Order Logic

CoRR
In this chapter we give a basic overview of known results regarding Craig interpolation for first-order logic as well as for fragments of first-order logic. Our aim is to provide an entry point into the literature on interpolation theorems for first-order logic and fragments of first-order logic, and their applications.
Balder ten Cate, Jesse Comer
openaire   +2 more sources

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Room‐Temperature Skyrmionic Synapse in 2D Ferromagnet Fe3GaTe2 Operating via Collective Spin Texture Transformation

Advanced Materials, EarlyView.
We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang, Tongji Zhu, PeiYu Cai, Xiaoming Ma, Zhen Wang, Ruifu Zhang, Yi Hao, Jingdi Lu, Liubing He, Jun Xu, Yuejie Zhang, Wanjun Jiang, Jing Tao, Shiming Lei, Pavel Parchinskiy, Jing Teng, Lingfei Wang, Wei Niu, Elton J.G. Santos, Xiaoqian Zhang, Peng Li   +20 more
wiley   +1 more source

First-order intensional logic

Annals of Pure and Applied Logic, 2004
Several approaches to first-order modal logic are referred to, in particular to D. Lewis' counterpart and multiple counterpart models. The author presents first-order intensional logic with object variables and intensional variables (where intensions are construed as usually, i.e., as functions from possible worlds).
openaire   +1 more source

First order data types and first order logic [PDF]

, 1991
This paper concerns the relation between parameterized first order data types and first order logic. Augmenting first order logic by data type definitions yields in general a strictly stronger logic than first order logic. Some modeltheoretic properties of the new logic are investigated. While the new logic always fulfills the downward Skolem-Lowenheim
openaire   +1 more source

First-Order Logic in the Medvedev Lattice [PDF]

Studia Logica, 2015
Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal ...
openaire   +5 more sources

Thermal‐Driven Diode Polarity Switching From Competing Helical Superconducting States in WTe2/α‐Fe2O3 Heterostructures

Advanced Materials, EarlyView.
A Nb‐proximitized Josephson junction based on a WTe2/α‐Fe2O3 heterostructure exhibits a robust superconducting diode effect with programmable polarity. The diode direction can be trained by magnetic fields and switched by temperature cycling, revealing tunable finite‐momentum pairing states and competing superconducting states in symmetry‐broken ...
Enze Zhang, Grant Z. X. Yang, Zi‐Ting Sun, Xinhou Chen, Shishun Zhao, Chufan Chen, Chenhui Zhang, Fanrui Hu, K. T. Law, Hyunsoo Yang   +9 more
wiley   +1 more source

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Decision procedure for first-order linear temporal logic with semi-periodic kemels

Lietuvos Matematikos Rinkinys, 2002
There is not abstract.
Regimantas Pliuškevičius
doaj   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source