Algebraic Perspectives on Substructural Logics, Davide Fazio, et al.

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

Автор: Fazio Davide, Ledda Antonio, Paoli Francesco
Название: Algebraic Perspectives on Substructural Logics
ISBN: 3030521621 ISBN-13(EAN): 9783030521622
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the state of the art in the algebraic investigation into substructural logics.

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

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

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

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

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

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

Автор: David Pearce; Heinrich Wansing
Название: Nonclassical Logics and Information Processing
ISBN: 3540557458 ISBN-13(EAN): 9783540557456
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.

Автор: N.J. Moutafakis
Название: The Logics of Preference
ISBN: 9027725918 ISBN-13(EAN): 9789027725912
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With characteristic incisiveness Georg Henrik von Wright identifies pro- haireticIogic (i. e. the logic of preference) as the core of a general theory of value concepts. Essentially, this nucleus involves the logical study of acts from the point of view of their preferability. 1 (italics added) Though the term prohairesis is found in Plato, as well as in Aristotle's treatment of the relations of preference, it is von Wright who introduces this word into contemporary analytical philoso- phy, and succinctly specifies the philosophical dimensions it encompasses. The above emphasis upon the philosophical study of the formalization of preferences is a matter of utmost importance for understanding the type of in- quiry this investigation attempts to initiate. Over the past one hundred years the literature on general theories of subjective utility has become massive, where one considers the work done in psychometrics, econometrics, statistical theories, probability theories, etc., etc. Histories in these areas are strong in tracing various evolutions in the development of the concept of preference in decision-making. However, what has not been investigated with sustained at- tention are the fundamentally philosophical inquiries into the formalization of preference-relations.