Proof-theoretic Semantics and Tactical Proof.
Alexander V. GheorghiuDavid J. PymPublished in: CoRR (2023)
Keyphrases
- proof theoretic
- proof theory
- model theoretic
- linear logic
- default reasoning
- nonmonotonic reasoning
- constraint logic programming
- fixpoint
- deductive databases
- description logics
- cut elimination
- operational semantics
- decision procedures
- logic programming
- probabilistic reasoning
- desirable properties
- belief revision
- database systems
- automated reasoning
- fixed point
- logic programs
- partial order