范畴论、逻辑与形式语言学：一些新旧联系
范畴论
2014-02-07 v1 计算与语言
计算机科学中的逻辑
逻辑
摘要
我们借《应用逻辑期刊》出版“逻辑、范畴、语义”研讨会精选论文之机，综述逻辑学中的一些当前趋势，即直觉主义类型理论与线性类型理论，这些理论交织了范畴论、几何学与计算学的考量。随后，我们阐述这些丰富的逻辑框架如何建模语言传达意义的方式。
引用
@article{arxiv.1401.6574,
title = {Category theory, logic and formal linguistics: some connections, old and new},
author = {Jean Gillibert and Christian Retoré},
journal= {arXiv preprint arXiv:1401.6574},
year = {2014}
}
备注
Survey on the occasion of a special issue of the journal of applied logic