Results 61 to 70 of about 4,442,858 (282)

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Bulletin of the Section of Logic, 2020
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles
David Makinson
doaj   +1 more source

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]

, 2009
We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core  

Photo‐Switchable Molecular Module Programming PET Biodegradation in Aquatic Environments

Advanced Functional Materials, EarlyView.
We address the plastic durability paradox by integrating an itaconic acid–derived pyrrolidone module into polymer backbones. Sunlight in water triggers Norrish Type I ring‐opening and hydrophilization, enabling rapid biodegradation into nontoxic minerals.
Mohammad Asif Ali, Jixin Zheng, Satoshi Wakai, Jie Liu, Hidetaka Nomaki, Misato Tsukatani, Noriyuki Isobe, Jingcheng Sang, Yuriko Aoki, Hideo Okamura, Daisuke Sasaki, Chiaki Ogino, Yuzo Yamazaki, Takashi Nishikaze, Kenji Takada, Maiko K. Okajima, Tatsuo Kaneko   +16 more
wiley   +1 more source

Chemical Strategies for Multistimuli Responsive Dynamic Covalent Materials in Regenerative Medicine

Advanced Healthcare Materials, EarlyView.
Multistimuli responsive dynamic covalent materials integrate reversible chemistry with the complex chemical, mechanical, and biochemical cues of regenerative environments. This review highlights chemical strategies based on orthogonal dynamic bonds, multicomponent networks, and hierarchical architectures to regulate mechanics, degradation, and ...
Saurabh Joshi, Matthew B. Baker, Dominik Schauenburg   +2 more
wiley   +1 more source

On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj   +1 more source

Probability and natural deduction

Journal of Logic and Computation
Abstract We develop a system of basic probability reasoning founded on two great logical concepts, Gentzen’s natural deduction systems and Carnap–Popper probability of sentences. Our system makes it possible to manipulate with probabilized sentences and justify their causal relationships: if probabilities of sentences $A$ and $B$ are in $
Marija Boricic Joksimovic, Nebojsa Ikodinovic, Nenad Stojanovic   +2 more
openaire   +2 more sources

Measuring the Hall Effect in Hysteretic Materials

Advanced Materials, EarlyView.
The authors highlight common pitfalls in measuring the Hall effect: in hysteretic magnets, improper data processing can create signals that look exotic but are not real. This Perspective explains the origin of these artifacts and presents practical measurement strategies that help researchers identify reliable Hall responses in complex magnetic ...
Jaime M. Moya, Anthony Voyemant, Sudipta Chatterjee, Scott B. Lee, Grigorii Skorupskii, Connor J. Pollak, Leslie M. Schoop   +6 more
wiley   +1 more source

A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory [PDF]

, 1996
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its ...
Cordes, M. A. Moritz, Reinmuth, Friedrich, Cordes, Moritz, Reinmuth, M. A. Friedrich, Vossenkuhl, Wilhelm   +4 more
core   +1 more source

Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting [PDF]

, 2014
In many modern computer applications the significanceofspecificationbasedverificationiswellaccepted.However, when we deal with such complex processes as the integration of heterogeneous systems, parts of specification may be not known.
Bolotov, A., Alexander Bolotov, Shangin, V., Vasilyi Shangin   +3 more
core   +1 more source

Large‐Scale Determination of Frontier Orbital Energies of Disordered Small‐Molecule Organic Semiconductors Using Exciplex Emission Spectra

Advanced Materials, EarlyView.
ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald, Hiroki Tomita, Giacomo Cotelli, Louka L. Brüll, Nanno G. de Rooij, Lucas R.L. Norg, Milo Clément, Reinder Coehoorn   +7 more
wiley   +1 more source