Results 11 to 20 of about 39,738 (264)
Reconfigurable binary and ternary logic devices enabling logic state modulation [PDF]
Nature CommunicationsThis paper reports a reconfigurable binary–ternary transistor with a controllable voltage range and current level for the intermediate logic state. The proposed functions were demonstrated using an indium–gallium–zinc-oxide channel with a dual-gate ...
Yonghyun Albert Kwon +5 more
doaj +2 more sources
An intermediate term functor logic
Argumentos, 2019 Neste artigo, tentamos fazer algo bastante simples: conhecer os avanços de Sommers e Englebretsen (a saber, uma álgebra mais-menos para silogística) juntamente com os desenvolvimentos de Peterson e Thompson (ou seja, uma extensão da silogística com “a ...
José Martin Castro Manzano
doaj +5 more sources
EPSILON THEOREMS IN INTERMEDIATE LOGICS [PDF]
The Journal of Symbolic Logic, 2022 AbstractAny intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus.
MATTHIAS BAAZ, RICHARD ZACH
openaire +2 more sources
A Note on Gödel-Dummet Logic LC
Bulletin of the Section of Logic, 2021 Let Ao, A1, . . . , An be (possibly) distintict wffs, being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom (Ao → A1)V . . .V(An-1 → An)V(An → Ao) is equivalent to Gödel-Dummett logic LC.
Gemma Robles, José M. Méndez
doaj +1 more source
UNIFICATION IN INTERMEDIATE LOGICS [PDF]
The Journal of Symbolic Logic, 2015 AbstractThis paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments, the connection between valuations and most general unifiers is clarified, and it is shown how from the closure of a ...
Iemhoff, R., Roziere, P.
openaire +3 more sources
Automatic Function Annotations for Hoare Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However,
Daniel Matichuk
doaj +1 more source
Graphene/Ferroelectric (Ge-Doped HfO2) Adaptable Transistors Acting as Reconfigurable Logic Gates
Nanomaterials, 2022 We present an array of 225 field-effect transistors (FETs), where each of them has a graphene monolayer channel grown on a 3-layer deposited stack of 22 nm control HfO2/5 nm Ge-HfO2 intermediate layer/8 nm tunnel HfO2/p-Si substrate.
Mircea Dragoman +5 more
doaj +1 more source
Reconfigurable Logic Controller—Direct FPGA Synthesis Approach
Applied Sciences, 2021 Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity.
Adam Milik, Marcin Kubica, Dariusz Kania
doaj +1 more source
Demonstration of p-type stack-channel ternary logic device using scalable DNTT patterning process
Nano Convergence, 2023 A p-type ternary logic device with a stack-channel structure is demonstrated using an organic p-type semiconductor, dinaphtho[2,3-b:2',3'-f]thieno[3,2-b]thiophene (DNTT).
Yongsu Lee +8 more
doaj +1 more source
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]
Logical Methods in Computer Science, 2012 G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz +2 more
doaj +1 more source