Mathematical logic books

Audience: This volume is intended for students and researchers in the fields of decision analysis, management science,...  Read More >>

Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence...  Read More >>

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering focuses on fuzzy clustering methods...  Read More >>

This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches....  Read More >>

In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of...  Read More >>

At the turn of the century, Gottlob Frege and Edmund Husserl both participated in the discussion concerning the...  Read More >>

It is known that many control processes are characterized by both quantitative and qualitative complexity. On one...  Read More >>

Also considered are the problems of presenting different varieties of universal algebra with these constructions,...  Read More >>

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics....  Read More >>

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred...  Read More >>

In 1989, Blum, Shub, and Smale [12] combined existing algebraic models of computation with the concept of uniformity...  Read More >>

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with...  Read More >>

Nowadays algebra is understood basically as the general theory...  Read More >>

There are three outstanding points of this book. Second, the book reveals new horizons of logic design tools on...  Read More >>

Quantum Structures and the Nature of Reality is a collection of papers written for an interdisciplinary audience...  Read More >>

Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl's proof...  Read More >>

The present monograph intends to establish a solid link among three fields: fuzzy set theory, information retrieval,...  Read More >>

Located at the juncture of fuzzy sets, topology, algebra, lattices, foundations of mathematics. This work presents...  Read More >>

While the notion of a null set can be determined uniquely, the notion of a set of ""small"" measure has a fuzzy...  Read More >>

States and proves various theorems of many-valued propositional logic. This text provides developments and trends,...  Read More >>

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal...  Read More >>

Offers tools for making decisions in an environment of uncertainty. This book explains aspects of the concept of...  Read More >>

A text/reference book on term rewriting theory and application.  Read More >>

Since the beginning of the 1980's, a lot of news approaches of biomimetic inspiration have been defined and developed...  Read More >>

Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of...  Read More >>