Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba Название: Quantifiers: Logics, Models and Computation ISBN: 0792334493 ISBN-13(EAN): 9780792334491 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains twelve research papers devoted to generalized quantifiers and their applications. This volume offers a survey of logical methods that are useful in investigations involving generalized quantifiers. It represents model-theoretical and proof-theoretical approaches.
Автор: 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.
Автор: 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.
Автор: N.J. Moutafakis Название: The Logics of Preference ISBN: 9401082634 ISBN-13(EAN): 9789401082631 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Fenrong Liu Название: Reasoning about Preference Dynamics ISBN: 9400736304 ISBN-13(EAN): 9789400736306 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reasoning about Preference Dynamics explores what it takes for logical systems to deal with information dynamics and preference change in an integrated way. The text covers all aspects of reasoning and agency, while providing a framework accessible to readers from various fields.
Автор: Till Gr?ne-Yanoff; Sven Ove Hansson Название: Preference Change ISBN: 9048185068 ISBN-13(EAN): 9789048185061 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text covers the latest approaches in philosophy and the social sciences to understanding preference change. It reviews standard material but focuses on new research such as conditional utilities, non-monotonic logic and complex systems models.
Автор: 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.
Автор: Dov M. Gabbay; Karl Schlechta Название: A New Perspective on Nonmonotonic Logics ISBN: 3319468154 ISBN-13(EAN): 9783319468150 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru