Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.

Yoriyuki Yamagata

Published in: J. Symb. Log. (2018)

Keyphrases

set intersection
theorem prover
arithmetic operations
database systems
theorem proving
maintaining consistency
mathematical proofs
real time
case study
fixed point
continuous functions
consistency checking
automated theorem proving