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 Рейтинг: Цена: 12577.00 р. 13974.00-10% Наличие на складе: Есть (1 шт.) Описание: 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.
Автор: Johan van Benthem Название: The Logic of Time ISBN: 9401098700 ISBN-13(EAN): 9789401098700 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Thomas Piecha; Peter Schroeder-Heister Название: Advances in Proof-Theoretic Semantics ISBN: 3319367811 ISBN-13(EAN): 9783319367811 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister.- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artлmov.- Chapter 3. Two Ways of General Proof Theory; Kosta Dosen.- Chapter 4. Generalised elimination rules; Roy Dyckhoff.- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnдs.- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges.- Chapter 7. The mode of presentation; Reinhard Kahle.- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz.- Chapter 9. Unification of logics by reflection; Giovanni Sambin.- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Gцran Sundholm.- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait.- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti.- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato.- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing.- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa.- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.
Название: Virtue theoretic epistemology ISBN: 1108740464 ISBN-13(EAN): 9781108740463 Издательство: Cambridge Academ Рейтинг: Цена: 3958.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 11246.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Описание: Preface.- I Ring and Module-Theoretic Properties of Skew PBW Extensions.- II Projective Modules Over Skew PBW Extensions.- III Matrix and Grцbner Methods for Skew PBW Extensions.- IV Applications: The Noncommutative AlgebraicGeometry of Skew PBW Extensions.- References.
Описание: Preface.- I Ring and Module-Theoretic Properties of Skew PBW Extensions.- II Projective Modules Over Skew PBW Extensions.- III Matrix and Grцbner Methods for Skew PBW Extensions.- IV Applications: The Noncommutative AlgebraicGeometry of Skew PBW Extensions.- References.
Автор: Martin Carrier Название: The Completeness of Scientific Theories ISBN: 9401043930 ISBN-13(EAN): 9789401043939 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Earlier in this century, many philosophers of science (for example, Rudolf Carnap) drew a fairly sharp distinction between theory and observation, between theoretical terms like `mass` and `electron`, and observation terms like `measures three meters in length` and `is _2 Degrees Celsius`.
Автор: E.B. Ruttkamp Название: A Model-Theoretic Realist Interpretation of Science ISBN: 9048160669 ISBN-13(EAN): 9789048160662 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text can be read by specialists working in philosophy of science or formal semantics, by logicians working on the structure of theories, and by students in philosophy of science - this text offers a thorough introduction to non-statement accounts of sciences as well as a discussion of the traditional statement account of science.
Автор: Henryk Kotlarski; Zofia Adamowicz; Teresa Bigorajs Название: A Model–Theoretic Approach to Proof Theory ISBN: 3030289206 ISBN-13(EAN): 9783030289201 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Schultz, Patrick Spivak, David I. Название: Temporal type theory ISBN: 3030007030 ISBN-13(EAN): 9783030007034 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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 Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
