Contains the logical abilities of the kernel. The classes herein are don't use QEDEQ objects. They just deal with Element instances and some other basic objects for proof checking. For location of errors the ModuleContext is used.