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 »
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 »
Although first published in eighteen sixty-nine, Charles Kingsley's Madam How and Lady Why remains a classic book on earth science. Presented as a series of easy conversations dealing with n...więcej »
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, ...więcej »
Have you ever seen a magician make something seem to disappear Did it make you wonder if anything can really just vanish? To answer these and many other questions, author Paul Fleisher looks at ...więcej »
This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, cat...więcej »
Come sit around the camp fire as The Storyteller teaches the Tease and the rest of the crowd stories of long ago, of a time before numbers, and how the people of yester-year learned to count.więcej »
Have you ever wondered why objects drop to the ground or what keeps the Moon from crashing into the Earth? Isaac Newton wondered why. Do you know whether a bowling ball will fall faster than a c...więcej »
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...więcej »
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...więcej »