Results 61 to 70 of about 2,062,878 (363)
Advanced Engineering Materials, EarlyView.A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol +5 more
wiley +1 more source
A Modal Logic of Supervenience [PDF]
Notre Dame Journal of Formal Logic, 2019 29 ...
openaire +4 more sources
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, Volume 36, Issue 43, 29 May 2026.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Moving up and down in the generic multiverse
, 2012 We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of".
G. Fuchs +13 more
core +3 more sources
Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips
Advanced Functional Materials, EarlyView.This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee +16 more
wiley +1 more source
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
LogicsWe present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj +1 more source
Modal Logic in Sixteenth-Century Mexico
Crítica, 2018 En este artículo el autor examina varios puntos de la lógica modal de Alonso de la Vera Cruz (1504-1584). Lo hace utilizando el instrumental de la lógica matemática, tal como ya lo ha hecho en otros trabajos.
Walter Redmond
doaj +1 more source
Implicit Kripke Semantics and Ultraproducts in Stratified Institutions
, 2016 We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic.
Diaconescu, Răzvan
core +1 more source
Three-valued Logics in Modal Logic [PDF]
Studia Logica, 2012 Abstract Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula.
Barteld P. Kooi, Allard M. Tamminga
openaire +2 more sources