Results 71 to 80 of about 455,476 (286)
Effectiveness of the Completeness Theorem for an Intermediate Logic
J. Univers. Comput. Sci., 1997 JUCS - Journal of Universal Computer Science Volume Nr.
Ishihara,Hajime, Khoussainov,Bakhadyr
openaire +2 more sources
Inducing syntactic cut-elimination for indexed nested sequents
, 2018 The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Ramanayake, Revantha
core +1 more source
Regiorandom Polythiophenes for Fully Stretchable Electrochemical Transistors and Logic Circuits
Advanced Functional Materials, EarlyView.Regiorandom (RRa) polythiophenes, once regarded as unsuitable for electronics, exhibit exceptional switching performance via volumetric electrochemical doping. Optimized RRa‐based organic electrochemical transistors (OECTs) achieve a high on/off ratio (≈104), stable operation under 200% strain, and enable fully stretchable logic gates, demonstrating ...
Dong Hyun Park +6 more
wiley +1 more source
Combining intermediate propositional logics with classical logic
CoRR, 2015 In [17], we introduced a modal logic, called $L$, which combines intuitionistic propositional logic $IPC$ and classical propositional logic $CPC$ and is complete w.r.t. an algebraic semantics. However, $L$ seems to be too weak for Kripke-style semantics.
openaire +2 more sources
Some results on intermediate constructive logics.
Notre Dame Journal of Formal Logic, 1989 Some techniques for the study of intermediate constructive logics are illustrated. In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Med- vedev's logic of finite problems ) can be obtained.
Miglioli P. +4 more
openaire +3 more sources
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
, 2011 We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation. It supports x87 and SSE instructions in various precisions and can block
Anna Slobodová +16 more
core +2 more sources
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +1 more source
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Bulletin of the Section of LogicThis paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj +1 more source
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