[SCL] SCL in the IFF

[Robert E. Kent]

Dear SCL folk,

I have recently developed an axiomatization for the SCL. This follows what I
have been calling a 'moderately' folded semantics.
"The Object Aspect of the IFF-SCL"
http://suo.ieee.org/IFF/metalevel/lower/namespace/scl/version20040505-obj.pd
f
This axiomatization is represented in the IFF-KIF metalanguage, which is
exemplified by my preliminary axiomatization for the *Multitudes*
metalanguage and theory of John L. Bell.
"The Multitudes Metalanguage and Theory (IFF-M)"
http://suo.ieee.org/IFF/metalevel/upper/ontology/multitudes/version20040606.
pdf

Robert E. Kent
rekent at ontologos.org