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

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

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

Автор: Huaxin Lin
Название: From the Basic Homotopy Lemma to the Classification of $C^*$-algebras
ISBN: 1470434903 ISBN-13(EAN): 9781470434908
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 45980.00 T
Наличие на складе: Невозможна поставка.
Описание: This book examines some recent developments in the theory of $C^*$-algebras, which are algebras of operators on Hilbert spaces. An elementary introduction to the technical part of the theory is given via a basic homotopy lemma concerning a pair of almost commuting unitaries. The book presents an outline of the background as well as some recent results of the classification of simple amenable $C^*$-algebra, otherwise known as the Elliott program. This includes some stable uniqueness theorems and a revisiting of Bott maps via stable homotopy. Furthermore, $KK$-theory related rotation maps are introduced. The book is based on lecture notes from the CBMS lecture sequence at the University of Wyoming in the summer of 2015.

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

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

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

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

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

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

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.

Автор: Patterson Richard
Название: Aristotle`s Modal Logic: Essence and Entailment in the Organon
ISBN: 052145168X ISBN-13(EAN): 9780521451680
Издательство: Cambridge Academ
Цена: 101370.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aristotle was both a great metaphysician and the inventor of logic, including the logic of possibility and necessity. Aristotle`s Modal Logic, first published in 1995, presents a new interpretation of Aristotle`s logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics.

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

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.