A Semilattice Model for the Theory Grid

The Theory Grid is a formal theory infrastructure that coordinates various formal theories represented by and based on various formal logic systems in a grid computing environment using standard, open, general- purpose protocols and interfaces to meet demands of its application programs for theorem discovery and/or question proposition. The Theory Grid needs a formally and precisely defined model to represent the relationships among fragments of various formal theories. This paper presents a semilattice model for the Theory Grid.