A note on iterated consistency and infinite proofs.

Published in: Arch. Math. Log. (2019)

Keyphrases

formal proofs
theorem prover
finite sets
mathematical proofs
database
data sets
theorem proving
real time
information retrieval
e learning
database systems
evolutionary algorithm
consistency checking
equational theories