Category theory, logic and formal linguistics: some connections, old and new

Jean Gillibert (1) , Christian Retoré (2, 1, 3)

1 IMB - Institut de Mathématiques de Bordeaux
2 TEXTE - Exploration et exploitation de données textuelles
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

We seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop 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.

Mots clés: Logic; Category theory; Formal linguistics; Type theory

Domaines: Catégories et ensembles [math.CT]; Logique [math.LO]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Jean Gillibert, Christian Retoré. Category theory, logic and formal linguistics: some connections, old and new. Journal of Applied Logic, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩. ⟨hal-00936338⟩