LCM semantics of logical
LCM semantics of logical formulas are
similarly defined for other cases by means
of similar inductive inference machines.
Thus, it is called Limit-Computable Math.
Details of the semantics are in ALT/DS 02
paper and other papers at PA/LCM home