Results 71 to 80 of about 153,381 (281)
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +1 more source
Advanced Functional Materials, EarlyView.Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun +7 more
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic
Bulletin of the Section of LogicJaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska +2 more
doaj +1 more source
Validity and Entailment in Modal and Propositional Dependence Logics [PDF]
Logical Methods in Computer Science, 2019 The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic ...
Miika Hannula
doaj +1 more source
Advanced Functional Materials, EarlyView.A robust solid‐state protein junction with a semi‐transparent eC/Au electrode allows photoexcitation of the bacterio‐rhodopsin, bR layer, to isomerize the bR retinal. The resulting photo‐response shows the protein is functional in the solid‐state junction.
Shailendra K. Saxena +5 more
wiley +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
Non normal logics: semantic analysis and proof theory
, 2019 We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property.
Chen, Jinsheng +3 more
core +2 more sources
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
Wittgenstein's Attitudes [PDF]
, 2008 What's wrong with modalities in (Wittgenstein 1922)? In (Suszko 1968), the writer argued that "Wittgenstein was somewhat confused and wrong in certain points.
Schang, Fabien
core
Advanced Functional Materials, EarlyView.We present a fully printed aqueous zinc‐ion microbattery (ZnIB) enabled by graphene‐decorated zinc anode and printed MnO@NC cathode using sustainable aqueous‐based ink formulations. The printed 3D electrodes ensure uniform zinc deposition, low overpotential, and long‐term stability.
Nagaraju Goli +11 more
wiley +1 more source