From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic.
Alexander V. GheorghiuDavid J. PymPublished in: CoRR (2022)
Keyphrases
- proof theoretic
- propositional logic
- linear logic
- belief revision
- nonmonotonic reasoning
- cut elimination
- logical framework
- default reasoning
- model theoretic
- proof theory
- logic programming
- sequent calculus
- first order logic
- possibilistic logic
- fixed point
- proof procedure
- belief change
- desirable properties
- description logics
- deductive databases
- natural deduction
- inference rules
- probabilistic reasoning
- fixpoint
- automated reasoning
- constraint logic programming
- decision procedures
- belief base
- reasoning tasks
- natural language
- logic programs
- expert systems