نتایج جستجو برای: boolos salama
تعداد نتایج: 193 فیلتر نتایج به سال:
We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy. 1 & In modal logic, the boxdot translation, t, is the following translation: tp = p t? = ? t(φ! ψ) = (tφ! tψ) t φ = ( tφ∧ tφ) Note t...
We study interpolation properties of provability logics. We prove the Lyndon interpolation for GL and the uniform interpolation for GLP. DOI: 10.1134/S0081543811060198 The present paper is concerned with provability logics and their interpolation properties. Recall that the Craig interpolation property for a logic L says that if φ implies ψ, then there is an interpolant, that is, a formula θ co...
Article Details: Received: 2020-10-14 | Accepted: 2020-11-27 Available online: 2021-01-31 https://doi.org/10.15414/afz.2021.24.mi-prap.85-88 The aim of the study was to determine influence selected climatic characteristics on milk production ewes during lactation. Data from sheep farm Liptovska Teplicka located in moderate climate zone (latitude 48°57'50.3N, longitude 20°04'31.0E) were analysed...
This is an overview a study of interpretability logic in Zagreb for the last twenty years: a brief history and some planes for further research. The idea of treating a provability predicate as a modal operator goes back to Gödel. The same idea was taken up later by Kripke and Montague, but only in the mid–seventies was the correct choice of axioms, based on Löb’s theorem, seriously considered b...
BACKGROUND Modifiable vascular and lifestyle-related risk factors have been associated with dementia risk in observational studies. In the Finnish Geriatric Intervention Study to Prevent Cognitive Impairment and Disability (FINGER), a proof-of-concept randomised controlled trial, we aimed to assess a multidomain approach to prevent cognitive decline in at-risk elderly people from the general po...
Objective: This study aimed to compare lipid profiles and total serum bilirubin of early aggressive versus late and slow intravenous fat emulsion infusion, in very-low-birth-weight premature infants over the first seven days of life. Methods: A randomized, nonblinded and controlled trial that took place from January 2011 through June 2011 at the level III neonatal intensive care unit at Prince ...
Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory∗ Edward N. Zalta† Center for the Study of Language and Information and Philosophy Department Stanford University In this paper, I derive a theory of numbers from a more general theory of abstract objects. The distinguishing feature of this derivation is that it involves no appeal to mathematical primitives or mathematica...
Benzo[a]pyrene (BP), a polycylic aromatic hydrocarbon (PAH), is a potent atherogen and carcinogen in laboratory animals. Since genotoxic mechanisms may contribute to the development of atherosclerosis by PAHs, we have tested the hypotheses that: 1) BP induces DNA adducts in mouse aortic smooth muscle cells (SMCs); 2) 3-hydroxybenzo[a]pyrene (3-OH-BP) and benzo[a]pyrene-3,6-quinone (BPQ) are pro...
This paper presents an alternative way for constructing a topological space in an information system. Rough set theory for reasoning about data in information systems is used to construct the topology. Using the concept of an indiscernibility relation in rough set theory, it is shown that the topology constructed is a quasi-discrete topology. Furthermore, the dependency of attributes is applied...
In their landmark article on measles prevention in emergency settings, Toole and colleagues recommended in 1989 that all children aged 6 months to 5 years should be immunized with measles vaccine at the time they enter an organized camp or settlement [1]. In 2000, Salama and colleagues documented substantial mortality during a famine emergency in Ethiopia, with measles and malnutrition as major...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید