|
libcats.org
Classical Type Theory, Chapter 15 of Handbook of Automated ReasoningAlan Robinson and Andrei VoronkovType theory, otherwise known as higher-order logic, is an extension of first-order logic which has significant advantages over first-order logic for formalizing certain domains, such as parts of mathematics and specifications for hardware and software. A number of versions of type theory have been developed. Constructive type theory is discussed in [Barendregt and Geuvers 2001] (Chapter 18 of this Handbook). In this chapter we provide an introduction to classical type theory, and discuss methods for automatically proving theorems of classical type theory.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#3
Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатацииКатегория: Военная техника
3.41 Mb
#8
Устройство, наладка и эксплуатация металлообрабатывающих станков и автоматических линийЛисовой А.И.
36.27 Mb
#9
Лингвистические контакты ранних тюрков: лексический фонд: пратюркский периодА.В.ДыбоКатегория: КНИГИ ИСТОРИЯ
3.30 Mb
|
|