Algebraic Perspectives on Substructural Logics, Fazio Davide, Ledda Antonio, Paoli Francesco

Автор: Davide Fazio, et al.
Название: Algebraic Perspectives on Substructural Logics
ISBN: 3030521656 ISBN-13(EAN): 9783030521653
Издательство: Springer
Цена: 15372.00 р.
Наличие на складе: Есть у поставщикаПоставка под заказ.
Описание: This volume presents the state of the art in the algebraic investigation into substructural logics.

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

Автор: Rolf Haenni; Jan-Willem Romeijn; Gregory Wheeler;
Название: Probabilistic Logics and Probabilistic Networks
ISBN: 9400734433 ISBN-13(EAN): 9789400734432
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

Автор: Font
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.

Автор: Otto
Название: Bounded Variable Logics and Counting
ISBN: 1107167949 ISBN-13(EAN): 9781107167940
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

Автор: F. Paoli
Название: Substructural Logics: A Primer
ISBN: 9048160146 ISBN-13(EAN): 9789048160143
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of the present book is to give a comprehensive account of the `state of the art` of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational.

Автор: Josep M. Font; Ramon Jansana
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 3540616993 ISBN-13(EAN): 9783540616993
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The purpose of this monograph is to develop a very general approach to the algebra- ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others.

Автор: Ackermann Robert
Название: An Introduction to Many-Valued Logics
ISBN: 0367426048 ISBN-13(EAN): 9780367426040
Издательство: Taylor&Francis
Рейтинг:
Цена: 5051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. This work combines criticism with exposition to form a comprehensive but concise survey of the field.

Автор: Christian Stra?er
Название: Adaptive Logics for Defeasible Reasoning
ISBN: 3319007912 ISBN-13(EAN): 9783319007915
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.

Автор: Cresswell, M. J.
Название: Logics and languages
ISBN: 113868645X ISBN-13(EAN): 9781138686458
Издательство: Taylor&Francis
Рейтинг:
Цена: 22202.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, originally published in 1991, sets forth the assumptions about thought and language that made falsehood seem so problematic to Plato and his contemporaries, and expounds the solution that Plato finally reached in the Sophist. Free from untranslated Greek, the book is accessible to all studying ancient Greek philosophy.

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