Results 61 to 70 of about 173,289,208 (196)
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Advanced Science, EarlyView.In GdMn2O5, sublattice‐resolved EXAFS and diffraction analysis reveal pronounced spin‐phonon coupling and an unexpected opposing pressure response: the Mn‐driven Néel temperature slightly decreases while the Gd‐sublattice ordering temperature rises under pressures up to 0.86 GPa.
Romualdo S. Silva Jr. +9 more
wiley +1 more source
Size of Home, Home Ownership, and the Mortgage Interest Deduction [PDF]
, 2012 This paper offers an empirical test of the effect of the mortgage interest deduction (MID) on both the extensive (own vs. rent) and intensive (size of home) housing purchase margins.
Hanson, Andrew R., Andrew Hanson
core
Advanced Science, EarlyView.A novel strategy features gradient composition and stacking fault energy‐tuned (CoCrMn)100‐2xFexNix fabricated via in situ alloying additive manufacturing. This design circumvents cryogenic discontinuous plastic flow and hydrogen embrittlement of metallic materials under quasi‐static loading and hydrogen‐rich environment relevant to lunar polar ...
Renhao Wu +11 more
wiley +1 more source
Normalization in Supernatural deduction and in Deduction modulo
, 2007 Deduction modulo and Supernatural deduction are two extentions of predicate logic with computation rules. Whereas the application of computation rules in deduction modulo is transparent, these rules are used to build non-logical deduction rules in ...
Wack, Benjamin +2 more
core +3 more sources
Advanced Science, EarlyView.A systematic study on the performance of N,P‐doped NiFe2O4@CNH bi‐functional hybrid electrocatalysts for rechargeable zinc‐air batteries is presented. The importance of P, N‐doping and the intimate tethering of nickel‐ferrite nanocubes on the carbon nano‐horn (CNH) surface which are well dispersed on the surface of N,P doped CNHs.
Sudheer Kumar Yadav +4 more
wiley +1 more source
Advanced Science, EarlyView.Graphical illustration of 68Ga‐GZB PET/CT imaging reveals immune dynamics post‐EGFR‐TKI resistance in NSCLC; Lgmn+ macrophages‐derived Lgmn‐containing extracellular vesicles inhibit glycolysis, induce CD8+ T cell exhaustion, and targeting Lgmn restores immunotherapy sensitivity.
Dongliang Wang +9 more
wiley +1 more source
Advanced Science, EarlyView.A rational, solvent‐free synthesis utilizing 2,6‐diaminonaphthalene produces ultrabright green‐emissive carbon dots. Regulated by a self‐limiting oxidative capping mechanism, excitons undergo ultrafast intra‐particle funneling from the nitrogen‐doped carbon core to emissive surface traps.
Hyeonjin Park +8 more
wiley +1 more source
Shear‐Mode Direct Piezoelectric Response of Ferroelectric Nematic Liquid Crystals
Advanced Science, EarlyView.Periodic shear‐induced electric current measurements are reported on two archetypic ferroelectric nematic liquid crystal compounds. From the temperature, frequency and shear angle dependent results of the first and second harmonic current signals together with temperature and oscillatory rheology measurements, the effective piezoelectric coupling ...
Péter Salamon +4 more
wiley +1 more source