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 Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers.This two-volume handbook provides an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, who may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. Despite being located in the realm of pure mathematical logic, this handbook will also be useful for readers interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness.The first volume contains a gentle introduction to MFL, a presentation of an abstract algebraic framework for MFL, chapters on proof theory and algebraic semantics of fuzzy logics, and, fi nally, an algebraic study of Hájek's logic BL. The second volume is devoted to Lukasiewicz logic and MValgebras, Gödel-Dummett logic and its variants, fuzzy logics in expanded propositional languages, studies of functional representations for fuzzy logics and their free algebras, computational complexity of propositional logics, and arithmetical complexity of first-order logics.
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic...124,89 zł
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also żeby philosophical and computational...142,56 zł
Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming with Logic'', and the link with logic gives...142,56 zł
This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary...142,56 zł
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together...158,05 zł
This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed...180,19 zł
This book is designed for readers who knowelementary mathematical logic and axiomatic settheory, and who want to learn more about set theory.The...138,19 zł
Larry Powers' Non-contradiction is an engaging, innovative,and delightful book. It re-tells the story of Greek philosophyfrom the novel starting...131,64 zł
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical...140,58 zł
"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve."(from...94,11 zł
Smith contends that there is no possible solution to our global ecological crisis within the framework of any conceivable capitalism. The only...122,71 zł
Opinie i recenzje użytkowników
Dodaj opinie lub recenzję dla Handbook of Mathematical Fuzzy Logic. Volume 1. Twój komentarz zostanie wyświetlony po moderacji.