Results 61 to 70 of about 17,271 (293)
Geofluids, 2021 Within the existing leakage model accounting for drilling mud loss in naturally-fractured formations, the leak-off velocity is assigned to a fixed value or described by the Cater model, which does not consider the influence of dual-system hydromechanical
Hao Peng +4 more
doaj +1 more source
Applied Sciences, 2021 Globally, 20% to 40% of medical resources are wasted, which could be avoided through professional audit of health insurance claims. The professional audit can pinpoint excessive use of unnecessary medicines and medical examinations.
Shey-Chiang Su +5 more
doaj +1 more source
Probability and natural deduction
Journal of Logic and ComputationAbstract 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 +2 more
openaire +1 more source
Advanced Functional Materials, Volume 36, Issue 43, 29 May 2026.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 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
Natural Deduction in a Paracomplete Setting [PDF]
, 2014 In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A., Shangin, V.
core
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning [PDF]
, 2018 We introduce a system of Hyper Natural Deduction for Gödel Logic as an extension of Gentzen’s system of Natural Deduction. A deduction in this system consists of a finite set of derivations which uses the typical rules of Natural Deduction, plus ...
Arnold Beckmann
core +1 more source
Magnetic Control of Chiral Hybridized Phonon Magnetic Moments in Ferrimagnets Fe2‐xZnxMo3O8
Advanced Functional Materials, EarlyView.Helicity‐resolved magneto‐Raman spectroscopy reveals magnetic control of chiral phonon magnetic moments in polar ferrimagnet (ZnxFe2−xMo3O₈). Large spontaneous zero‐field phonon splittings, selective phonon–magnon coupling, and asymmetric Zeeman responses demonstrate that phonon chirality is governed by magnon‐phonon coupling and magnetization.
Youngsu Choi +8 more
wiley +1 more source
Transcendental Unity of Apperception In Kant’sTheory of Knowledge
Tsaqafah, 2014 This article aims at delineating Kant’s theory of understanding that integrate subject and object at the transcendent level. Transcendental here refers to the process of thinking in such a way that ‘transcends’ natural thinking. It is called transcendent
Hamid Fahmy Zarkasyi
doaj +1 more source
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +2 more
core