A type system of logic objects

This paper describes the declaration and inference based type system in an object-oriented logic framework, where logic objects are viewed as typed ab stractions with state, constraints, behaviors and non-monotonic inheritance . Types are built by ordered constructors with subtyping relationships. As base types, the classes can be applied to complex type construction. Object s are classified according to their method signatures, and subtyping is ind ependent of inheritance.