libcats.org
Главная

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Обложка книги Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

,
Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; identify some of the problems that must be addressed in order to provide a semantics of proof-searches of comparable value to the corresponding semantics of proof; and explain how to solve these problems in intuitionistic logic, which adequately models not only the logical but also the operational aspects of the reductive system. Most of the chapters have been published separately.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Чудес не бывает

Автор:
Категория: Фэнтези
Размер книги: 661 Kb

Спомини утiкача

Автор:
Размер книги: 7.66 Mb

Achieving Sustainable Mobility (Transport and Mobility)

Автор:
Размер книги: 1.32 Mb

Хипповые анекдоты

Автор:
Категория: Анекдоты
Размер книги: 36 Kb

Naked Lunch

Автор:
Категория: fiction
Размер книги: 337 Kb

The Best American Crime Reporting 2009

Автор: , Автор: , Автор:
Категория: fiction
Размер книги: 489 Kb

Theoretical Statistics

Автор: , Автор:
Категория: Statistics
Размер книги: 68.22 Mb