Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs.

Stefano Berardi Makoto Tatsuta

Published in: CoRR (2017)

Keyphrases

outlier detection
inductive learning
theorem proving
machine learning
clustering algorithm
knowledge representation
theorem prover
fixed point semantics
real time
neural network
genetic algorithm
bayesian networks
multiscale
inductive reasoning
formal proof