Category theory, logic and formal linguistics: Some connections, old and new.
Jean GillibertChristian RetoréPublished in: J. Appl. Log. (2014)
Keyphrases
- mathematical theory
- formal theory
- commonsense reasoning
- formal methods
- formal language
- natural language
- computer algebra
- proof theory
- formal model
- logic programming
- formal logic
- general theory
- theoretical basis
- set theory
- mathematical foundations
- classical logic
- operational semantics
- formal models
- modal operators
- formal specification
- object categories
- language learning
- theoretical framework