libcats.org
Главная

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Обложка книги Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

This English translation of the author's original work has been thoroughly revised, expanded and updated.

The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.

Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.

Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.

Популярные книги за неделю:

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

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

Древо жизни

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

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

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

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Бригада Боло

Автор:
Размер книги: 650 Kb

Индикатор-сигнализатор ДП-64. Формуляр

Автор:
Категория: Военная техника
Размер книги: 244 Kb

Robust Digital Image Watermarking

Автор:
Размер книги: 893 Kb

Consumer Bankruptcy in Global Perspective

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

The ukrainian terror and the jewish peril

Автор:
Категория: Історія
Размер книги: 537 Kb

Unidentified (Final Cut (US), Pure and Uncut (UK))

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