Logic category: 1296 books
by Bertrand Russell
Language: English
Release Date: March 22, 2018
Language: English
Release Date: March 22, 2018
Bertrand Russell was a British philosopher, logician, and mathematician. Russell was one of the leaders in the British "revolt against idealism" and he is credited for being one of the founders of analytic philosophy. In 1950 Russell received the Nobel Prize in Literature.
Our Knowledge...
A System of Indian Logic
The Nyana Theory of Inference
Language: English
Release Date: October 18, 2013
Nyana is the most rational and logical of all the classical Indian philosophical systems. In the study of Nyana philosophy, Karikavali with its commentary Muktavali, both by Visvanatha Nyayapancanana, with the commentaries Dinakari and Ramarudri, have been of decisive significance for the last few...
Formal Grammar
22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Language: English
Release Date: January 5, 2018
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017. The 9...
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications
17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Language: English
Release Date: May 29, 2018
This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cádiz, Spain, in June 2018.
The 193 revised full papers were carefully reviewed and selected...
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations
17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Language: English
Release Date: May 30, 2018
This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cádiz, Spain, in June 2018.
The 193 revised full papers were carefully reviewed and selected...
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations
17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
Language: English
Release Date: May 30, 2018
This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cádiz, Spain, in June 2018.
The 193 revised full papers were carefully reviewed and selected...
Semigroups in Complete Lattices
Quantales, Modules and Related Topics
Language: English
Release Date: June 9, 2018
This monograph provides a modern introduction to the theory of quantales.
First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within...
Fuzzy Systems
Concepts, Methodologies, Tools, and Applications
Language: English
Release Date: February 22, 2017
There are a myriad of mathematical problems that cannot be solved using traditional methods. The development of fuzzy expert systems has provided new opportunities for problem-solving amidst uncertainties. Fuzzy Systems: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source...
by Feng Ye
Language: English
Release Date: July 6, 2011
Language: English
Release Date: July 6, 2011
This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex...
Communication and Meaning
An Essay in Applied Modal Logic
Language: English
Release Date: December 6, 2012
This essay contains material which will hopefully be of interest not only to philosophers, but also to those social scientists whose research concerns the analysis of communication, verbal or non-verbal. Although most of the topics taken up here are central to issues in the philosophy of language,...
by S. Stenlund
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory...
by
Language: English
Release Date: May 4, 2016
Language: English
Release Date: May 4, 2016
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic...
Saved from the Cellar
Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Language: English
Release Date: March 31, 2017
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results, especially...
Slicing the Truth
On the Computable and Reverse Mathematics of Combinatorial Principles
Language: English
Release Date: July 18, 2014
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context...