Categorical Proof-Theoretic Semantics.
David J. PymEike RitterEdmund RobinsonPublished in: CoRR (2023)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- linear logic
- nonmonotonic reasoning
- fixpoint
- constraint logic programming
- deductive databases
- operational semantics
- logic programs
- description logics
- automated reasoning
- partial order
- default logic
- finite state machines
- probabilistic reasoning
- database systems
- formal semantics
- data model