Logical consequences. Theory and applications: An introduction.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications

Formal logic: Classical problems and proofs

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational

Many-valued logics. A mathematical and computational introduction.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics

Reactive oxygen species, vascular noxs, and hypertension: focus on translational and clinical research

Significance: Reactive oxygen species (ROS) are signaling molecules that are important in physiological processes, including host defense, aging, and cellular homeostasis. Increased ROS bioavailability and altered redox signaling (oxidative stress) have been implicated in the onset and/or progression of chronic diseases, including hypertension. Recent Advances: Although oxidative stress may not be the only cause of hypertension, it amplifies blood pressure elevation in the presence of other pro-hypertensive factors, such as salt loading, activation of the renin-angiotensin-aldosterone system, and sympathetic hyperactivity, at least in experimental models. A major source for ROS in the cardiovascular-renal system is a family of nicotinamide adenine dinucleotide phosphate oxidases (Noxs), including the prototypic Nox2-based Nox, and Nox family members: Nox1, Nox4, and Nox5. Critical Issues: Although extensive experimental data support a role for increased ROS levels and altered redox signaling in the pathogenesis of hypertension, the role in clinical hypertension is unclear, as a direct causative role of ROS in blood pressure elevation has yet to be demonstrated in humans. Nevertheless, what is becoming increasingly evident is that abnormal ROS regulation and aberrant signaling through redox-sensitive pathways are important in the pathophysiological processes which is associated with vascular injury and target-organ damage in hypertension. Future Directions: There is a paucity of clinical information related to the mechanisms of oxidative stress and blood pressure elevation, and a few assays accurately measure ROS directly in patients. Such further ROS research is needed in humans and in the development of adequately validated analytical methods to accurately assess oxidative stress in the clinic

Production system and method for producing fluids from a well

A production system and method for producing fluids from a well are presented. The production system may include a submersible pump and a jet pump. The submersible pump may be arranged within the well. The jet pump may be arranged within the well downstream of the submersible pump. The jet pump may include a power fluid intake configured to receive a power fluid and a produced fluid intake configured to receive a produced fluid. The power fluid intake may be in fluid communication with the submersible pump. The produced fluid intake may be in fluid communication with gas within the well. In an embodiment, the produced fluid intake may be in fluid communication with separated gas within an annulus of the well. Beneficially, the system may allow, among other things, a submersible pump and a jet pump to be used in combination in high gas-liquid-ratio wells without installing a gas vent line.Board of Regents, University of Texas Syste

Production system and method for producing fluids from a well

A production system and method for producing fluids from a well are presented. The production system may include a submersible pump and a jet pump. The submersible pump may be arranged within the well. The jet pump may be arranged within the well downstream of the submersible pump. The jet pump may include a power fluid intake configured to receive a power fluid and a produced fluid intake configured to receive a produced fluid. The power fluid intake may be in fluid communication with the submersible pump. The produced fluid intake may be in fluid communication with gas within the well. In an embodiment, the produced fluid intake may be in fluid communication with separated gas within an annulus of the well. Beneficially, the system may allow, among other things, a submersible pump and a jet pump to be used in combination in high gas-liquid-ratio wells without installing a gas vent line.Board of Regents, University of Texas Syste

Dark matter spikes in the vicinity of Kerr black holes

The growth of a massive black hole will steepen the cold dark matter density at the center of a galaxy into a dense spike, enhancing the prospects for indirect detection. We study the impact of black hole spin on the density profile using the exact Kerr geometry of the black whole in a fully relativistic adiabatic growth framework. We find that, despite the transfer of angular momentum from the hole to the halo, rotation increases significantly the dark matter density close to the black hole. The gravitational effects are still dominated by the black hole within its influence radius, but the larger dark matter annihilation fluxes might be relevant for indirect detection estimates.Comment: Published version plus corrected typo in Fig 1