范畴论、逻辑学与形式语言学：新旧关系
Category theory, logic and formal linguistics: some connections, old and new
Université de Bordeaux（波尔多大学）
摘要：
我们抓住出版的机会，从\emph{Logic, categories, semantics}研讨会在\emph{Journal of Applied Logic}调查一些当前的趋势，在逻辑，即直觉和线性类型的理论，交织分类，几何和计算的考虑。此后，我们提出如何这些丰富的逻辑框架可以模拟语言传达意义的方式。
英文摘要：
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
