Category theory, logic and formal linguistics: some connections, old and new
Category Theory
2014-02-07 v1 Computation and Language
Logic in Computer Science
Logic
Abstract
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.
Keywords
Cite
@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}
}
Comments
Survey on the occasion of a special issue of the journal of applied logic