Results 101 to 110 of about 3,261,962 (390)
Separation logic: a logic for shared mutable data structures
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002 In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure.
J. C. Reynolds
semanticscholar +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +4 more sources
Biointerfacing with AgBiS2 Quantum Dots for Pseudocapacitive Photostimulation
Advanced Functional Materials, EarlyView.It is demonstrated that AgBiS2 quantum dots exhibit unique photoinduced pseudocapacitive charge transfer properties, enabling efficient light‐to‐electrical energy conversion. These quantum dots facilitate enhanced light absorption and transduction when integrated with ZnO nanowires, which serve as an effective charge transport medium.
Ridvan Balamur +8 more
wiley +1 more source
Logical rules as fractions and logics as sketches [PDF]
arXiv, 2018 In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
arxiv
Indicative Conditionals and Dynamic Epistemic Logic
, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Holliday, Wesley H. +1 more
core +1 more source
Logical omniscience and classical logic [PDF]
, 2005 In all respectable logics a form of Leibniz's Law holds which says that logically equivalent expressions can be interchanged salva veritate. On the other hand, in ordinary language syntactically different expressions in general are not intersubstitutable in the scope of verbs of propositional attitude.
openaire +4 more sources
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source
Frontiers in Psychology, 2016 Whether pitch in language and music is governed by domain-specific or domain-general cognitive mechanisms is contentiously debated. The aim of the present study was to investigate whether mechanisms governing pitch contour perception operate differently ...
Joey L. Weidema +2 more
doaj +1 more source
arXiv, 2019 This paper provides a proof that Tennant's logical system entails a paradox that is called Core logic paradox, in reference to the new name given by Tennant to his intuitionistic relevant logic.
arxiv