图书标签: 范畴逻辑  逻辑学  类型论  数学  范畴论  nemlophics  PLT  Mathematics   

喜欢 Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 的读者还喜欢

• 
  Introduction to Higher-Order Categorical Logic pdf epub mobi txt 电子书 下载

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。