Inductive inference and Excluded middle

lRestricted LEM (Law of Excluded Middle) are valid under
LCM-semantics

lThen inductive inference machine could be used as the marble
applet

lWe cannot compute the final value, but we can debug
LCM-proofs by inductive inference

lThey do not cover all classical mathematics, but are enough for
very many theorems.