Advances in Proof Theory, Reinhard Kahle; Thomas Strahm; Thomas Studer
Автор: 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.
Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: A. S. Troelstra Название: Basic Proof Theory ISBN: 0521779111 ISBN-13(EAN): 9780521779111 Издательство: Cambridge Academ Рейтинг: Цена: 7445.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Автор: 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.
Автор: 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.
Описание: Since its inception by Professor Lotfi Zadeh about 18 years ago, the theory of fuzzy sets has evolved in many directions, and is finding applications in a wide variety of fields in which the phenomena under study are too complex or too ill-defined to be analyzed by conventional techniques.
Автор: 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.
Автор: 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.
Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.
Автор: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
