Modal homotopy type theory, Corfield, David (senior Lecturer In Philosophy, Senior Lecturer In Philosophy, University Of Kent, Canterbury)

Автор: Vasile Marinca; Nicolae Herisanu
Название: The Optimal Homotopy Asymptotic Method
ISBN: 3319153730 ISBN-13(EAN): 9783319153735
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first chapter is introductory while the second chapter is devoted to a short history of the development of homotopy methods, including the basic ideas of the Optimal Homotopy Asymptotic Method.

Автор: Cocchiarella, Nino B.; Freund, Max A.
Название: Modal Logic
ISBN: 0195366573 ISBN-13(EAN): 9780195366570
Издательство: Oxford Academ
Рейтинг:
Цена: 7839.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for
sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.

A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de
dicto sentence.

An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems.
Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity.

Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding
second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general.

Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

Автор: Bezhanishvili Guran, D`Agostino Giovanna, Metcalfe George
Название: Advances in Modal Logic, Volume 12
ISBN: 1848902557 ISBN-13(EAN): 9781848902558
Издательство: Неизвестно
Цена: 5150.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily true" and "possibly true." Research in modal logic now spans philosophy, computer science, and mathematics, using techniques from relational structures, universal algebra, topology, and proof theory.

These proceedings record the papers presented at the 2018 conference on Advances in Modal Logic, a biennial conference series with the aim of reporting important new developments in pure and applied modal logic. The topics include decidability and complexity results, proof theory, model theory, interpolation, as well as other related problems in algebraic logic.

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Поставка под заказ.

Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.

Автор: K.A. Bowen
Название: Model Theory for Modal Logic
ISBN: 9048183537 ISBN-13(EAN): 9789048183531
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Kuppalapalle Vajravelu; Robert A. Van Gorder
Название: Nonlinear Flow Phenomena and Homotopy Analysis
ISBN: 3642541763 ISBN-13(EAN): 9783642541766
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents current theoretical developments in homotopy analysis. It also gives a number of examples of nonlinear problems that have been solved by means of the homotopy analysis method.

Автор: Vasile Marinca; Nicolae Herisanu
Название: The Optimal Homotopy Asymptotic Method
ISBN: 331936183X ISBN-13(EAN): 9783319361833
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first chapter is introductory while the second chapter is devoted to a short history of the development of homotopy methods, including the basic ideas of the Optimal Homotopy Asymptotic Method.

Автор: Krzysztof P. Rybakowski
Название: The Homotopy Index and Partial Differential Equations
ISBN: 3540180672 ISBN-13(EAN): 9783540180678
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The homotopy or Conley index, which provides an algebraic-topologi- cal measure of an isolated invariant set, is defined to be the ho- motopy type of the quotient space N /N , where is a certain 1 2 1 2 compact pair, called an index pair.

Автор: Ellis, Graham
Название: An Invitation to computational homotopy
ISBN: 0198832974 ISBN-13(EAN): 9780198832973
Издательство: Oxford Academ
Рейтинг:
Цена: 19008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer programming. It expertly illustrates how the basics of the subject can be implemented on a computer through its focus on fully-worked examples designed to develop problem solving techniques.

Автор: Kenneth J. Konyndyk Jr
Название: Introductory Modal Logic
ISBN: 0268024073 ISBN-13(EAN): 9780268024079
Издательство: Wiley EDC
Рейтинг:
Цена: 13728.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of “possible worlds” in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. 

Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.

Автор: Heinrich Wansing
Название: Proof Theory of Modal Logic
ISBN: 9048147204 ISBN-13(EAN): 9789048147205
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Автор: Ellis Graham
Название: Invitation to Computational Homotopy
ISBN: 0198832982 ISBN-13(EAN): 9780198832980
Издательство: Oxford Academ
Рейтинг:
Цена: 9662.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer programming. It expertly illustrates how the basics of the subject can be implemented on a computer through its focus on fully-worked examples designed to develop problem solving techniques.