Results 91 to 100 of about 455,476 (286)
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source
Reflexive Intermediate Propositional Logics
Notre Dame Journal of Formal Logic, 2006 Which intermediate propositional logics can prove their own completeness? I call a logic reflexive if a second-order metatheory of arithmetic created from the logic is sufficient to prove the completeness of the original logic. Given the collection of intermediate propositional logics, I prove that the reflexive logics are exactly those that are at ...
openaire +2 more sources
Prefinitely axiomatizable modal and intermediate logics [PDF]
Mathematical Logic Quarterly, 1993 AbstractA logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.
openaire +3 more sources
VSS : a VHDL synthesis system [PDF]
, 1988 This report describes a register transfer synthesis system that allows a designer to interact with the design process. The designer can modify the compiled design by changing the input description, selecting optimization and mapping strategies, or ...
Gajski, Daniel D., Lis, Joseph S.
core
Deadlock detection of Java Bytecode
, 2017 This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models
AE Flores-Montoya +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin +4 more
wiley +1 more source
Kripke Models and Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1970 In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire +2 more sources
Hypersequent and Labelled Calculi for Intermediate Logics [PDF]
, 2013 Hypersequent and labelled calculi are often viewed as antagonist formalisms to define cut-free calculi for non-classical logics. We focus on the class of intermediate logics to investigate the methods of turning Hilbert axioms into hypersequent rules and frame conditions into labelled rules.
Agata Ciabattoni +2 more
openaire +2 more sources
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
Some Results on the Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1972 In ClOj, we developed the method of Kripke models and gave some applications of it to the study of the intermediate logics. We found that the use of Kripke models is very efficient, since in many cases the algebraic structure of Kripke models reflects well the properties of the logics characterized by them.
openaire +3 more sources