This volume is dedicated to the memory of Paulo A. S. Veloso (1944-2020), a distinguished Brazilian logician. Veloso's scientific contributions are disseminated in the most important areas ...więcej »
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...więcej »
Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...więcej »
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...więcej »
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...więcej »
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such więcej »
Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...więcej »
Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a s...więcej »
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...więcej »
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...więcej »
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...więcej »
A new, fully updated edition of David Attenborough’s groundbreaking Life on Earth.David Attenborough’s unforgettable meeting with gorillas became an iconic moment for millio...więcej »
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...więcej »