Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Szabo M.E. — Algebra of Proofs
Szabo M.E. — Algebra of Proofs



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Algebra of Proofs

Автор: Szabo M.E.

Аннотация:

Here we study the algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. Our work is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic, and this book is addressed to specialists in all three areas. Proof theorists will find that categories give rise to a non-trivial semantics for proof theory in which the concept of the equivalence of proofs can be investigated from a mathematical point of view. Categorists, on the other hand, will find that proof theory provides a suitable syntax in which commutative diagrams can be characterized and classified effectively. Workers in combinatory logic, finally, may derive new insights from the study of algebraic invariance properties of their techniques established in the course of our presentation.


Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1978

Количество страниц: 302

Добавлена в каталог: 01.12.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте