On arithmetical completeness of the logic of proofs.
Sohei IwataTaishi KurahashiPublished in: Ann. Pure Appl. Log. (2019)
Keyphrases
- natural deduction
- formal proofs
- cut elimination
- equational theories
- proof search
- logic programming
- linear logic
- classical logic
- modal logic
- sequent calculus
- theorem proving
- theorem prover
- real time
- databases
- automated theorem proving
- digital circuits
- proof theory
- computational properties
- multi valued
- probability theory
- data quality
- real world
- logic synthesis
- propositional dynamic logic
- order sorted
- deontic logic
- epistemic logic
- predicate logic
- nonmonotonic logics
- set theory
- logical framework
- automated reasoning
- decision trees