Non-Classical Logics and their Applications to Fuzzy Subsets, Ulrich H?hle; Erich Peter Klement
Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle Название: Applications of Category Theory to Fuzzy Subsets ISBN: 9401051569 ISBN-13(EAN): 9789401051569 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. Beginning with the tenth Seminar, the intimate setting was retained, but each Seminar narrowed in theme;
Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle Название: Applications of Category Theory to Fuzzy Subsets ISBN: 0792315111 ISBN-13(EAN): 9780792315117 Издательство: Springer Рейтинг: Цена: 40389.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Comprehensively describes the deeper mathematical aspects of fuzzy sets, particularly those aspects which are category-theoretic in nature. Divided into four parts, this book contains bibliography, indices, and long chapters, which make it suitable as a text for advanced graduate students.
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Описание: GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: George Metcalfe; Nicola Olivetti; Dov M. Gabbay Название: Proof Theory for Fuzzy Logics ISBN: 9048181216 ISBN-13(EAN): 9789048181216 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive work by researchers in that area.
Название: Logics in Computer Science ISBN: 9491216945 ISBN-13(EAN): 9789491216947 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Luca Vigan? Название: Labelled Non-Classical Logics ISBN: 0792377494 ISBN-13(EAN): 9780792377498 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Автор: Luca Vigan? Название: Labelled Non-Classical Logics ISBN: 1441949623 ISBN-13(EAN): 9781441949622 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Автор: Didier Dubois; Henri Prade; Erich Peter Klement Название: Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 0792359771 ISBN-13(EAN): 9780792359777 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Features results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. This work offers a look at multiple-valued and fuzzy set-based logics, in an artificial intelligence perspective.
Автор: Didier Dubois; Henri Prade; Erich Peter Klement Название: Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 9048153247 ISBN-13(EAN): 9789048153244 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
