Results 71 to 80 of about 226,250 (290)
Dynamical properties of logical substitutions
Discrete & Continuous Dynamical Systems - A, 2006 This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we study their actions on the dual spectral spaces.
openaire +3 more sources
Distilling Abstract Machines (Long Version) [PDF]
, 2014 It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution calculus (LSC), a new approach to ES
Accattoli, Beniamino +2 more
core
A Case Study on Logical Relations using Contextual Types
, 2015 Proofs by logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize.
Cave, Andrew, Pientka, Brigitte
core +2 more sources
Advanced Functional Materials, EarlyView.Auxeticity‑by‑Assembly converts freeform photovoltaics from cut‑defined layouts to assembly‑defined systems. Standardized interlocking units generate negative‑Poisson‑ratio, reconfigurable architectures, while hinge regions are wired by selectively activatable AgNW–GO@EGaIn composite interconnects and a folding‑enabled interconnector layer. A decimeter‑
Seok Joon Hwang +15 more
wiley +1 more source
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
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
Logical Methods in Computer ScienceSubstructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than ...
Francesco Dagnino, Fabio Pasquali
doaj +1 more source
A two-level logic perspective on (simultaneous) substitutions [PDF]
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018 Lambda-tree syntax (λts), also known as higher-order abstract syntax (hoas), is a representational technique where the pure λ-calculus in a meta language is used to represent binding constructs in an object language. A key feature of λts is that capture-avoiding substitution in the object language is represented by β-reduction in the meta language ...
openaire +2 more sources
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
Uniform Substitution for Differential Refinement Logic
AbstractThis paper introduces a uniform substitution calculus for differential refinement logic . The logic extends the differential dynamic logic such that one can simultaneously reason about properties of and relations between hybrid systems. Refinements are useful e.g.
Enguerrand Prebet, André Platzer
openaire +3 more sources
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
A. B. Avelar +23 more
core +2 more sources