Is the intuitionistic bar-induction a constructive principle?

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

linear logic
theorem prover
inductive learning
machine learning
interval valued
real time
data sets
case study
artificial neural networks
control system
fixed point
fuzzy numbers
classical logic
program synthesis