IFF update
All,
This is an update on IFF development activities.
--------------------
1. Several months ago I developed an axiomatization for FOL which is housed
in the IFF First Order Logic (meta) Ontology (IFF-FOL). I still need to
develop the equational aspect of FOL (straightforward) and the FOL
semantics.
IFF-FOL general discussion:
http://suo.ieee.org/IFF/metalevel/lower/ontology/fol/version20040101.html
IFF-FOL specific discussion (with abstract syntax)
http://suo.ieee.org/IFF/metalevel/lower/namespace/fol-language/version200404
04-intro.html
IFF-FOL Grammar:
http://suo.ieee.org/IFF/metalevel/lower/ontology/fol/KIF-grammar.html.
--------------------
2. Last month I developed an axiomatization for the Simple Common Logic
(SCL). This follows what I have been calling on the SCL list a 'moderately'
folded semantics.
The Object Aspect of IFF-SCL
http://suo.ieee.org/IFF/metalevel/lower/namespace/scl/version20040505-obj.pd
f
--------------------
3. In the past week or so I have been working on an axiomatization for the
*Multitudes* metalanguage and theory of John L. Bell (Perhaps well-known
from the book "Models and Ultraproducts: An Introduction", coauthored with
A. B. Slomson.). http://publish.uwo.ca/~jbell/.
Hopefully, this document can help explain the IFF-KIF metalanguage.
The Multitudes Metalanguage and Theory (IFF-M)
http://suo.ieee.org/IFF/metalevel/upper/ontology/multitudes/version20040606.
pdf
--------------------
As always, all constructive comments are welcome.
Robert E. Kent
rekent@ontologos.org