An enriched category theory of language: from syntax to semantics.
Tai-Danae BradleyJohn TerillaYiannis VlassopoulosPublished in: CoRR (2021)
Keyphrases
- operational semantics
- definition language
- formal languages
- model theoretic
- speech acts
- logical language
- predicate calculus
- natural language
- proof theory
- formal semantics
- rule language
- specification language
- highly expressive
- formal language
- intended meaning
- programming language
- language constructs
- precisely defined
- constraint language
- uml class diagrams
- modal operators
- denotational semantics
- formal theory
- description logics
- language learning
- deductive databases
- conceptual graphs
- logic programming language
- object oriented
- logic programming
- data model
- machine processable
- default reasoning
- general theory
- mathematical theory
- dynamic logic
- database language
- predicate logic
- semantic constraints