org.qedeq.kernel.bo.logic
Interfaces 
ClassOperatorExistenceChecker
EqualityOperatorExistenceChecker
ExistenceChecker
FormulaBasicErrors
FunctionExistenceChecker
Operators
PredicateExistenceChecker
Classes 
EqualFormula
EqualFormulaSet
EverythingExists
FormulaChecker
LogicalEquivalence
Exceptions 
ElementCheckException
FormulaCheckException
LogicalCheckException
TermCheckException