A Protocol-theoretic Framework for the Logic of Epistemic Norms, Jenkins
Автор: Stephen L. Bloom, Zoltan Esik Название: Iteration Theories ISBN: 3642780369 ISBN-13(EAN): 9783642780363 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть Описание: Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions.
Автор: Schultz, Patrick Spivak, David I. Название: Temporal type theory ISBN: 3030007030 ISBN-13(EAN): 9783030007034 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.
The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action.
Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.
Автор: Thomas Piecha; Peter Schroeder-Heister Название: Advances in Proof-Theoretic Semantics ISBN: 3319226851 ISBN-13(EAN): 9783319226859 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in T bingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
Автор: Henryk Kotlarski; Zofia Adamowicz; Teresa Bigorajs Название: A Model–Theoretic Approach to Proof Theory ISBN: 3030289230 ISBN-13(EAN): 9783030289232 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Нет в наличии. Описание: This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 9401098700 ISBN-13(EAN): 9789401098700 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter`s mono- poly on the logical study of Time.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 904814082X ISBN-13(EAN): 9789048140824 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.
Автор: Henryk Kotlarski; Zofia Adamowicz; Teresa Bigorajs Название: A Model–Theoretic Approach to Proof Theory ISBN: 3030289206 ISBN-13(EAN): 9783030289201 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Нет в наличии. Описание: This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of G?del's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts. The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class. Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.
Название: Virtue theoretic epistemology ISBN: 1108740464 ISBN-13(EAN): 9781108740463 Издательство: Cambridge Academ Рейтинг: Цена: 26390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume is a collection of new essays on virtue epistemology, one of the leading approaches in the theory of knowledge. By bringing together a range of essays from major contributors to the debate, it advances the state of the art and provides an overview of the field.
Автор: Saccoman John T., Suffel Charles L., Gross Daniel Название: Spanning Tree Results for Graphs and Multigraphs: A Matrix-Theoretic Approach ISBN: 9814566039 ISBN-13(EAN): 9789814566032 Издательство: World Scientific Publishing Рейтинг: Цена: 74970.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book is concerned with the optimization problem of maximizing the number of spanning trees of a multigraph. Since a spanning tree is a minimally connected subgraph, graphs and multigraphs having more of these are, in some sense, immune to disconnection by edge failure. We employ a matrix-theoretic approach to the calculation of the number of spanning trees.
The authors envision this as a research aid that is of particular interest to graduate students or advanced undergraduate students and researchers in the area of network reliability theory. This would encompass graph theorists of all stripes, including mathematicians, computer scientists, electrical and computer engineers, and operations researchers.
Errata(s)
Автор: Wagstaff Jr., Samuel S. Название: Cryptanalysis of Number Theoretic Ciphers ISBN: 1584881534 ISBN-13(EAN): 9781584881537 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Нет в наличии.
Автор: Dege Martin, Strasser Irene Название: Global Pandemics and Epistemic Crises in Psychology: A Socio-Philosophical Approach ISBN: 0367702797 ISBN-13(EAN): 9780367702793 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Using COVID-19 as a base, this ground-breaking book brings together several renowned scholars to explore the concept of crisis, and how this global event has shaped the discipline of psychology.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
