SUO: The IFF LOT glossary
All,
I have posted the PDF document "The IFF Glossary for the Lattice of
Theories" at the address http://suo.ieee.org/IFF/LOT-glossary.pdf.
This graphically illustrates and briefly discusses the core functionality
for both the truth concept lattice and the lattice of theories, two notions
that are equivalent from the order-theoretic viewpoint. The lattice of
theories is the base language fiber in the category of theories, whereas the
truth concept lattice is the base language fiber in the category of closed
theories.
Please regard this as a mid-range report -- I am developing a new version of
the theory namespace axiomatization that contains all of this. This will
offer a baseline axiomatization in the IFF for the notions of a "lattice of
theories" and a "library of modules".
As always, all constructive comments are welcomed.
Robert E. Kent
rekent@ontologos.org