LCM semantics of logical formulas

lLCM semantics of
logical formulas are similarly defined for other cases by means of similar inductive
inference machines.

lThus, it is called
Limit-Computable Math.

lDetails of the
semantics are in ALT/DS 02 paper and other papers at PA/LCM
home page.

http://www.shayashi.jp/PALCM/