Category theory, logic and formal linguistics: some connections, old and new.
Jean GillibertChristian RetoréPublished in: CoRR (2014)
Keyphrases
- mathematical theory
- formal theory
- formal logic
- probability theory
- model theoretic
- formal methods
- computer algebra
- commonsense reasoning
- theoretical framework
- set theory
- formal model
- modal logic
- proof theory
- formal models
- boolean algebra
- formal language
- computational logic
- natural language
- causal reasoning
- general theory
- classical logic
- asynchronous circuits
- multi valued
- default reasoning
- theoretical basis
- natural language processing
- artificial intelligence
- proof theoretic
- formal descriptions