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

Languages, machines, and classical computation

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory

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

Vascular biology of ageing—implications in hypertension

Ageing is associated with functional, structural and mechanical changes in arteries that closely resemble the vascular alterations in hypertension. Characteristic features of large and small arteries that occur with ageing and during the development of hypertension include endothelial dysfunction, vascular remodelling, inflammation, calcification and increased stiffness. Arterial changes in young hypertensive patients mimic those in old normotensive individuals. Hypertension accelerates and augments age-related vascular remodelling and dysfunction, and ageing may impact on the severity of vascular damage in hypertension, indicating close interactions between biological ageing and blood pressure elevation. Molecular and cellular mechanisms underlying vascular alterations in ageing and hypertension are common and include aberrant signal transduction, oxidative stress and activation of pro-inflammatory and pro-fibrotic transcription factors. Strategies to suppress age-associated vascular changes could ameliorate vascular damage associated with hypertension. An overview on the vascular biology of ageing and hypertension is presented and novel molecular mechanisms contributing to these processes are discussed. The complex interaction between biological ageing and blood pressure elevation on the vasculature is highlighted

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