Mathematical logic books

Multi-Criteria Decision Making (MCDM) has been one of the fastest growing problem areas in many disciplines. The...  Read More >>

Intends to initiate a discipline, namely a formalized epistemological method drawn from the cognitive strategies...  Read More >>

If one looks at stan­ dard textbooks in different mathematical disciplines, especially those closer to what is referred...  Read More >>

This book is devoted to some results from the classical Point Set Theory and their applications to certain problems...  Read More >>

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with...  Read More >>

Fuzzy Control of Industrial Systems: Theory and Applications presents the basic theoretical framework of crisp...  Read More >>

Stochastic petri nets have proven to be a useful tool for modelling and performance analysis of complex discrete-event...  Read More >>

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it...  Read More >>

Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive...  Read More >>

Includes results in semirings and their applications, as well as further applications of semiring theory in such...  Read More >>

""Is quantum logic really logic?"" The most radical aspect of quantum reasoning is reflected in unsharp quantum...  Read More >>

The notion of complexity is an important contribution of logic to theoretical computer science and mathematics....  Read More >>

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using...  Read More >>

After the pioneering works by Robbins {1944, 1945) and Choquet (1955), the notation of a set-valued random variable...  Read More >>

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of...  Read More >>

Di Nola, Pedrycz, Sanchez, and Sessa focus their attention on a eentral problem in the theory of fuzzy relations,...  Read More >>

Model theory for nonclassical logics is also set out so as to be able to show that the inconsistency of inconsistent...  Read More >>

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation...  Read More >>

The effect of an unstability can arise in extremal problems or in other related problems. In this connection, we...  Read More >>

There is much evidence to the contrary incl- ing the observation that the remarkable ability of people and animals...  Read More >>

The present monograph is a slightly revised version of my Habilitations­ schrift Proof-theoretic Aspects of Intensional...  Read More >>

This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical...  Read More >>

The authors are aware of the fact, that the book does not cover all relevant methods of automated model building...  Read More >>

The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly...  Read More >>

Reasoning under uncertainty is always based on a specified language or for­ malism, including its particular syntax...  Read More >>