Автор: Bremer, Manuel Название: Introduction to paraconsistent logics ISBN: 3631534132 ISBN-13(EAN): 9783631534137 Издательство: Peter Lang Рейтинг: Цена: 8593.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows that while globalization is a dominant force in society, and though news can be instantaneously broadcast internationally, there is relatively little commonality throughout the world in the depiction of events occurring in other countries. The research gathered here is based on a quantitative content analysis of over 17,000 news items and analysis of over 10,000 survey respondents.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: J.K. Feibleman Название: Assumptions of Grand Logics ISBN: 9400992807 ISBN-13(EAN): 9789400992801 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A system of philosophy of the sort presented in this and the following volumes begins with logic. The philosophical aspects of logic have lagged behind the mathematical aspects in point of view of interest and develop- ment. But I have not written any logic, I have merely indicated the sort of logic that has to be written.
Автор: Andreas Kapsner Название: Logics and Falsifications ISBN: 3319345494 ISBN-13(EAN): 9783319345499 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.
Автор: Christian Stra?er Название: Adaptive Logics for Defeasible Reasoning ISBN: 3319343882 ISBN-13(EAN): 9783319343884 Издательство: Springer Рейтинг: Цена: 21661.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.
Автор: Karl Schlechta Название: Formal Methods for Nonmonotonic and Related Logics ISBN: 3319896520 ISBN-13(EAN): 9783319896526 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
Описание: GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru