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.
Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F Название: Proof Theory ISBN: 0792365445 ISBN-13(EAN): 9780792365440 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues.
Автор: Zoltan F?l?p; Heiko Vogler Название: Syntax-Directed Semantics ISBN: 3642722504 ISBN-13(EAN): 9783642722509 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing semantics to context-free languages. The authors consider top-down tree transducers, macro tree transducers, attributed tree transducers, and macro attributed tree transducers.
Автор: 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.
Автор: 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.
Автор: Aczel Название: Proof Theory ISBN: 052141413X ISBN-13(EAN): 9780521414135 Издательство: Cambridge Academ Рейтинг: Цена: 14731.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of expository and research articles derived from the SERC `Logic for IT` Summer School and Conference on Proof Theory.
Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.
Автор: Dov M. Gabbay; N. Olivetti Название: Goal-Directed Proof Theory ISBN: 9048155266 ISBN-13(EAN): 9789048155262 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.
Автор: 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.
Описание: Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
