David Makinson on Classical Methods for Non-Classical Problems, Sven Ove Hansson

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.

Автор: 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.

Автор: Sven Ove Hansson
Название: David Makinson on Classical Methods for Non-Classical Problems
ISBN: 9402406638 ISBN-13(EAN): 9789402406634
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume analyses and develops David Makinson`s efforts to make classical logic useful outside its most obvious application areas.

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 9048180651 ISBN-13(EAN): 9789048180653
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 1402090838 ISBN-13(EAN): 9781402090837
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. This title deals with focal issues of belief revision. It contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems.

Автор: 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.

Автор: Reghis
Название: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
ISBN: 0849331978 ISBN-13(EAN): 9780849331978
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

Автор: 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.

Автор: Ulrich H?hle; Erich Peter Klement
Название: Non-Classical Logics and their Applications to Fuzzy Subsets
ISBN: 9401040966 ISBN-13(EAN): 9789401040969
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various relations between non-classical logics and fuzzy sets. Part B gives a coherent and current account of topos-like categories for fuzzy set theory based on Heyting algebra valued sets, quantal sets of M-valued sets.