Описание: Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
Автор: Johan Georg Granstr?m Название: Treatise on Intuitionistic Type Theory ISBN: 9400736398 ISBN-13(EAN): 9789400736399 Издательство: Springer Рейтинг: Цена: 17324 р. Наличие на складе: Поставка под заказ.
Описание: Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.
Описание: This book offers a solid introduction to intuitionistic fuzzy aggregation methods, the correlation, distance and similarity measures of intuitionistic fuzzy sets and various decision-making models and methods. Includes tables, figures and practical examples.
Описание: This book offers a systematic introduction to the clustering algorithms for intuitionistic fuzzy values, the latest research results in intuitionistic fuzzy aggregation techniques, the extended results in interval-valued intuitionistic fuzzy environments, and their applications in multi-attribute decision making, such as supply chain management, military system performance evaluation, project management, venture capital, information system selection, building materials classification, and operational plan assessment, etc.
Описание: This book offers an in-depth and comprehensive introduction to the priority methods of intuitionistic preference relations, the consistency and consensus improving procedures for intuitionistic preference relations, the approaches to group decision making based on intuitionistic preference relations, the approaches and models for interactive decision making with intuitionistic fuzzy information, and the extended results in interval-valued intuitionistic fuzzy environments.
Автор: Atanassov Название: On Intuitionistic Fuzzy Sets Theory ISBN: 3642291260 ISBN-13(EAN): 9783642291265 Издательство: Springer Рейтинг: Цена: 18349 р. Наличие на складе: Поставка под заказ.
Описание: This book aims to be a comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a continuation and extension of the author?s previous book on Intuitionistic Fuzzy Sets, published by Springer in 1999 (Atanassov, Krassimir T., Intuitionistic Fuzzy Sets, Studies in Fuzziness and soft computing, ISBN 978-3-7908-1228-2, 1999). Since the aforementioned book has appeared, the research activity of the author within the area of intuitionistic fuzzy sets has been expanding into many directions. The results of the author?s most recent work covering the past 12 years as well as the newest general ideas and open problems in this field have been therefore collected in this new book.
Автор: Krassimir T. Atanassov Название: On Intuitionistic Fuzzy Sets Theory ISBN: 3642442595 ISBN-13(EAN): 9783642442599 Издательство: Springer Рейтинг: Цена: 15111 р. Наличие на складе: Поставка под заказ.
Описание: This comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory updates the author`s work over the past 12 years, and describes the latest general ideas and open problems in this expanding field.
Автор: Granstr?m Название: Treatise on Intuitionistic Type Theory ISBN: 9400717350 ISBN-13(EAN): 9789400717350 Издательство: Springer Рейтинг: Цена: 17324 р. Наличие на складе: Поставка под заказ.
Описание: Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.
Автор: George Metcalfe; Nicola Olivetti; Dov Gabbay Название: Proof Theory for Fuzzy Logics ISBN: 1402094086 ISBN-13(EAN): 9781402094088 Издательство: Springer Рейтинг: Цена: 16169 р. Наличие на складе: Поставка под заказ.
Описание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.
Автор: Fari?as del Cerro Название: Logics in Artificial Intelligence ISBN: 3642333524 ISBN-13(EAN): 9783642333521 Издательство: Springer Рейтинг: Цена: 8085 р. Наличие на складе: Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The papers cover various aspects of theory and methods of logic for artificial intelligence.
Автор: Czelakowski J. Название: Protoalgebraic Logics ISBN: 0792369408 ISBN-13(EAN): 9780792369400 Издательство: Springer Рейтинг: Цена: 20784 р. Наличие на складе: Поставка под заказ.
Описание: Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru