An ecumenical view of proof-theoretic semantics.
Victor NascimentoLuiz Carlos PereiraElaine PimentelPublished in: CoRR (2023)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- linear logic
- nonmonotonic reasoning
- constraint logic programming
- fixpoint
- deductive databases
- decision procedures
- operational semantics
- logic programming
- description logics
- belief revision
- logic programs
- automated reasoning
- default logic
- reasoning problems