Proof Theory for Fuzzy Logics, George Metcalfe; Nicola Olivetti; Dov M. Gabbay

Автор: Witold A. Pogorzelski; Piotr Wojtylak
Название: Completeness Theory for Propositional Logics
ISBN: 3764385170 ISBN-13(EAN): 9783764385170
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.

Автор: Fitting, M.
Название: Proof methods for modal and intuitionistic logics
ISBN: 9048183812 ISBN-13(EAN): 9789048183814
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

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

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 30096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

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

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

Автор: T. Atanassov
Название: Intuitionistic Fuzzy Logics
ISBN: 3319489526 ISBN-13(EAN): 9783319489520
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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

Автор: M. Fitting
Название: Proof Methods for Modal and Intuitionistic Logics
ISBN: 9027715734 ISBN-13(EAN): 9789027715739
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

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

Автор: Glenn
Название: Law and the New Logics
ISBN: 1107106958 ISBN-13(EAN): 9781107106956
Издательство: Cambridge Academ
Рейтинг:
Цена: 16632.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents an interdisciplinary conversation between jurists and logicians, reaching across a wide domain of issues arising in law and legal reasoning. The overall theme is the ways in which non-classical logics can enrich our understanding of legal orders.

Автор: Garson
Название: What Logics Mean
ISBN: 110703910X ISBN-13(EAN): 9781107039100
Издательство: Cambridge Academ
Рейтинг:
Цена: 11880.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Garson explores meta-questions about what logic does or should do, examining parts of language, especially connectives such as `and` or `if`. The book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.