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 »
Taking the Arizona Learner's Permit Test? Ace It Without Any Problems With the Help of This Arizona Driver's Workbook.The driving exam features a variety of questions that will gauge your...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 »
Taking the California Learner's Permit Test? Ace It Without Any Problems With the Help of This California Driver's Workbook.The driving exam features a variety of questions that will gaug...więcej »
Taking the Connecticut Learner's Permit Test? Ace It Without Any Problems With the Help of This Connecticut Driver's Workbook.The driving exam features a variety of questions that will ga...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 »
Taking the Florida Learner's Permit Test? Ace It Without Any Problems With the Help of This Florida Driver's Workbook.The driving exam features a variety of questions that will gauge your...więcej »
Taking the Georgia Learner's Permit Test? Ace It Without Any Problems With the Help of This Georgia Driver's Workbook.The driving exam features a variety of questions that will gauge your...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 »
Taking the Illinois Learner's Permit Test? Ace It Without Any Problems With the Help of This Illinois Driver's Workbook.The driving exam features a variety of questions that will gauge yo...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 »
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 »
Taking the Maryland Learner's Permit Test? Ace It Without Any Problems With the Help of This Maryland Driver's Workbook.The driving exam features a variety of questions that will gauge yo...więcej »