Автор: Karl Schlechta Название: Formal Methods for Nonmonotonic and Related Logics ISBN: 3319896520 ISBN-13(EAN): 9783319896526 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Cresswell, M. J. Название: Logics and languages ISBN: 113868645X ISBN-13(EAN): 9781138686458 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Kuznets Roman, Studer Thomas Название: Logics of Proofs and Justifications ISBN: 1848901682 ISBN-13(EAN): 9781848901681 Издательство: Неизвестно Рейтинг: Цена: 28200.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem.
Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
Автор: M. Fitting Название: Proof Methods for Modal and Intuitionistic Logics ISBN: 9027715734 ISBN-13(EAN): 9789027715739 Издательство: Springer Рейтинг: Цена: 277650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Автор: Dov M. Gabbay Название: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics ISBN: 9027706565 ISBN-13(EAN): 9789027706560 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Bremer, Manuel Название: Introduction to paraconsistent logics ISBN: 3631534132 ISBN-13(EAN): 9783631534137 Издательство: Peter Lang Рейтинг: Цена: 57290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: J.K. Feibleman Название: Assumptions of Grand Logics ISBN: 9400992807 ISBN-13(EAN): 9789400992801 Издательство: Springer Рейтинг: Цена: 149030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 144410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Fitting, M. Название: Proof methods for modal and intuitionistic logics ISBN: 9048183812 ISBN-13(EAN): 9789048183814 Издательство: Springer Рейтинг: Цена: 277650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Автор: Garson Название: What Logics Mean ISBN: 1107611962 ISBN-13(EAN): 9781107611962 Издательство: Cambridge Academ Рейтинг: Цена: 28510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
