Good and smart decisions should be distinguished from wise decision-making - especially in the age of artificial intelligence (AI) where algorithms are incr...
What is machine learning? What is the current state of prosthetics in healthcare? Can scientists cure paralysis? Are supercomputers composed of human DNA real?These are all que...
This book is an introduction to epigenetics, a controversial term that denotes the mechanisms that instruct the genome on how to express the purely genetic information that encodes proteins. Sta...
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such
The rapidly growing field of astrochemistry focuses on the chemistry occurring in stars, planets, and the interstellar medium, bringing together elements of chemistry, physics, astr...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
This is the ultimate guide to the life and work of Charles Darwin. The result of decades of research through a vast and daunting literature which is hard fo...
The Digital Humanities have arrived at a moment when digital Big Data is becoming more readily available, opening exciting new avenues of inquiry but also new challenges. This pione...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
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, ...
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...
This is a self-contained book that covers the standard topics in introductory analysis and that in addition, constructs the natural, rational, real and complex numbers, also handles complex-valu...
The development of new and improved proof systems, proof formats and
proof search methods is one of the most essential goals of Logic. But
what is a proof? What makes a proof better than another? H...
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
What exactly is artificial intelligence?
This book is for all those who are curious to learn what artificial intelligence (AI) is. It is a purposely brief introduction to t...
Photosynthesis has been an important field of research for more than a century, but the present concerns about energy, environment and climate have greatly intensified interest in and research o...