What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.
Sara AyhanPublished in: CoRR (2023)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- nonmonotonic reasoning
- default reasoning
- linear logic
- constraint logic programming
- fixpoint
- deductive databases
- description logics
- logic programming
- operational semantics
- logic programs
- automated reasoning
- partial order
- belief revision
- cut elimination
- sufficient conditions