Results 71 to 80 of about 156,774 (303)
Advanced Functional Materials, EarlyView.Low‐dimensional halide perovskite thin films, (BA)2(MA)n‐1PbnBr3n+1 (n = 1, 2), exhibit both semiconducting and ferroelectric properties, enabling mechanical and light energy harvesting. Using Cr/Cr₂O₃ or PCBM as barrier layers ensures reproducible ferroelectricity.
Raja Sekhar Muddam +8 more
wiley +1 more source
On the Possibility of a General Purge of Self-Reference
Análisis Filosófico, 2012 My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj +1 more source
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics [PDF]
Logic and Logical Philosophy, 2019 G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the ...
E. Orlandelli
semanticscholar +1 more source
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
Advanced Functional Materials, EarlyView.2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source
Ferroelectricity in Single‐Crystalline BaTiO3 Nanodisks on Silicon
Advanced Functional Materials, EarlyView.Ferroelectricity is studied in 20 nm thick single crystalline BaTiO3 nanodisks when scaling their diameter from ≈ 400 down to 100 nm. For 100 nm diameter, the vertical polarization component adopts three distinct patterns, and the lateral one shows a rotational invariance in‐plane, suggesting a combination of center‐type and flux‐closure domains.
Ibukun Olaniyan +9 more
wiley +1 more source
Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers
Organon F, 2019 In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that ...
Daniel Rönnedal
doaj +1 more source
Advanced Functional Materials, EarlyView.The influence of postdeposition treatments on the formation of self‐assembling (mono)layers commonly utilized as hole transport layers in perovskite‐based solar cells is thoroughly investigated. The implementation of a washing step and an annealing step at temperatures exceeding the current literature standards leads to an enhanced layer quality and ...
Jann B. Landgraf +14 more
wiley +1 more source
Focused labeled proof systems for modal logic [PDF]
, 2015 International audienceFocused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen's original and tiny introduction ...
C Liang +13 more
core +4 more sources
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities [PDF]
, 2017 : This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and ...
Bobzien, Susanne
core +1 more source