Goal-Directed Proof Theory, Dov M. Gabbay; N. Olivetti

Автор: Negri, Professor Sara Von Plato, Jan
Название: Structural proof theory
ISBN: 0521068428 ISBN-13(EAN): 9780521068420
Издательство: Cambridge Academ
Рейтинг:
Цена: 6653.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.

Автор: 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.

Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F
Название: Proof Theory
ISBN: 9048155533 ISBN-13(EAN): 9789048155538
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This generalization of Hilbert`s original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.

Автор: Reinhard Kahle; Peter Schroeder-Heister; Robert St
Название: Proof Theory in Computer Science
ISBN: 354042752X ISBN-13(EAN): 9783540427520
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, and includes 13 revised papers. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, and iterate logic.

Автор: George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 9048181216 ISBN-13(EAN): 9789048181216
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive work by researchers in that area.

Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici
Название: Computational Logic and Proof Theory
ISBN: 3540633855 ISBN-13(EAN): 9783540633853
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Автор: Dov M. Gabbay; N. Olivetti
Название: Goal-Directed Proof Theory
ISBN: 0792364732 ISBN-13(EAN): 9780792364733
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.

Автор: N.D. Jones
Название: Semantics-Directed Compiler Generation
ISBN: 3540102507 ISBN-13(EAN): 9783540102502
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Описание: Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Автор: Reinhard Kahle; Thomas Strahm; Thomas Studer
Название: Advances in Proof Theory
ISBN: 3319291963 ISBN-13(EAN): 9783319291963
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

Автор: Torben Bra?ner
Название: Hybrid Logic and its Proof-Theory
ISBN: 9400734352 ISBN-13(EAN): 9789400734357
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Автор: S. Stenlund
Название: Combinators, ?-Terms and Proof Theory
ISBN: 9401029156 ISBN-13(EAN): 9789401029155
Издательство: Springer
Рейтинг:
Цена: 18866.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.