Substructural Logics: A Primer, F. Paoli

Название: 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.

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

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

Автор: Garson
Название: What Logics Mean
ISBN: 1107611962 ISBN-13(EAN): 9781107611962
Издательство: Cambridge Academ
Рейтинг:
Цена: 4277.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.

Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus
Название: The Age of Alternative Logics
ISBN: 9048124859 ISBN-13(EAN): 9789048124855
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.