Results 81 to 90 of about 86,968 (310)

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Bulletin of the Section of Logic
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models.
Andrzej Pietruszczak
doaj   +1 more source

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic

International Journal of Mathematics and Mathematical Sciences, 2012
Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj   +1 more source

Transistor‐Level Activation Functions via Two‐Gate Designs: From Analog Sigmoid and Gaussian Control to Real‐Time Hardware Demonstrations

Advanced Materials, EarlyView.
Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho, Youngmin Han, Won Woo Lee, Youngwoo Yoo, Kannan Udaya Mohanan, Chang‐Hyun Kim, Junhwan Choi, Young‐Joon Kim, Wonjun Shin, Hocheon Yoo   +9 more
wiley   +1 more source

On the Logic of Belief and Propositional Quantification [PDF]

, 2020
We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is some-thing that I ...
Ding, Yifeng
core  

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

A modal logic internalizing normal proofs

Information and Computation, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Park, S, Im, H
openaire   +3 more sources

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

Organic Electrochemical Transistors for Neuromorphic Devices and Applications

Advanced Materials, EarlyView.
Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang, Jiajun Song, Hong Liu, Junxin Chen, Feng Yan   +4 more
wiley   +1 more source

Normal forms in partial modal logic [PDF]

Banach Center Publications, 1993
A “partial” generalization of Fine’s definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi]. Introduction. From the viewpoint of formal linguistics, cognitive science and artificial intelligence, there appears to be a natural ...
openaire   +1 more source