Results 111 to 120 of about 3,261,962 (390)
, 2022 We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed combinatory terms as basic propositions, along with the semantics based on applicative structures extended with special ...
Kašterović, Simona, Ghilezan, Silvia
openaire +2 more sources
Carbon Nanotube 3D Integrated Circuits: From Design to Applications
Advanced Functional Materials, EarlyView.As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu +3 more
wiley +1 more source
Dialectical logic: the Process Calculus [PDF]
Studia Scientiarum Mathematicarum Hungarica, Vol. 28, Nos. 1-2,
1993, pages 17-61 (invited paper), 2018 Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to reveal the dynamical notions inherent in logical computational systems. The fundamental notions of proposition and truth-value in standard logic are subsumed by the notions of process and flow in dialectical logic.
arxiv
, 2014 Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.Comment: 16 pages, 24 ...
Buliga, Marius
core +2 more sources
Temperature‐Resilient Polymeric Memristors for Effective Deblurring in Static and Dynamic Imaging
Advanced Functional Materials, EarlyView.A thermally stable organic memristor based on a thiadiazolobenzotriazole (TBZ) and 2,5‐Dioctyl‐3,6‐di(thiophen‐2‐yl)pyrrolo[3,4‐c]pyrrole‐1,4(2H,5H)‐dione (DPP)‐based conjugated polymer is presented, demonstrating reliable, gradual resistance switching across a wide temperature range (153–573 K).
Ziyu Lv +15 more
wiley +1 more source
Transition Semantics - The Dynamics of Dependence Logic [PDF]
arXiv, 2012 We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and Dynamic Game Logic discussed by van Benthem. This suggests a new perspective on the interpretation of
arxiv
Advanced Functional Materials, EarlyView.Low‐dimensional halide perovskite thin films, (BA)2(MA)n‐1PbnBr3n+1 (n = 1, 2), exhibit both semiconducting and ferroelectric properties, enabling mechanical and light energy harvesting. Using Cr/Cr₂O₃ or PCBM as barrier layers ensures reproducible ferroelectricity.
Raja Sekhar Muddam +8 more
wiley +1 more source
Action Logic is Undecidable [PDF]
arXiv, 2019 Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. This logic involves Kleene star, axiomatized by an induction scheme. For a stronger system which uses an $\omega$-rule instead (infinitary action logic) Buszkowski and Palka (2007) have proved $\Pi_1^0$-completeness (thus, undecidability).
arxiv
Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA
Advanced Functional Materials, EarlyView.It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das +4 more
wiley +1 more source