Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.
Cosimo Perini BrogiPublished in: CoRR (2021)
Keyphrases
- proof theoretic
- cut elimination
- natural deduction
- linear logic
- proof theory
- sequent calculus
- theorem prover
- intuitionistic logic
- automated reasoning
- default reasoning
- inference rules
- theorem proving
- belief revision
- logic programming
- wide class
- sufficient conditions
- formal semantics
- logical framework
- knowledge base
- fixed point
- np complete
- probability distribution