Filter by
Towards an Arithmetical Logic The Arithmetical Foundations of Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40418-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Unknown as an Engine for Science An Essay on the Definite and the Indefi…
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18509-5
- Collation
- -
- Series Title
- -
- Call Number
- -
One Hundred Prisoners and a Light Bulb
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no f…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16693-3
- Collation
- IX, 188
- Series Title
- -
- Call Number
- -
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28807-9
- Collation
- XII, 275
- Series Title
- Studies in Fuzziness and Soft Computing
- Call Number
- -
Number Theory: An Introduction via the Density of Primes
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…
- Edition
- 2
- ISBN/ISSN
- 978-3-319-43873-3
- Collation
- XIII, 413
- Series Title
- -
- Call Number
- -
Nonstandard Analysis for the Working Mathematician
Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open problems in almost all disciplines of mathematics; it is often used as a ‘secret weapon’ by those who know the technique. This book illuminates th…
- Edition
- 1
- ISBN/ISSN
- 978-94-017-7326-3
- Collation
- XV, 481
- Series Title
- -
- Call Number
- -
The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves B…
This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15368-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography